Conference in Mathematical Logic - London '70
1139946228
Conference in Mathematical Logic - London '70
59.95 In Stock
Conference in Mathematical Logic - London '70

Conference in Mathematical Logic - London '70

Conference in Mathematical Logic - London '70

Conference in Mathematical Logic - London '70

Paperback(1972)

$59.95 
  • SHIP THIS ITEM
    In stock. Ships in 6-10 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers

Product Details

ISBN-13: 9783540057444
Publisher: Springer Berlin Heidelberg
Publication date: 02/25/1972
Series: Lecture Notes in Mathematics , #255
Edition description: 1972
Pages: 358
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Inductive definitions and analogues of large cardinals.- Compact injectives and Non-Standard Analysis.- Non-axiomatizability results in infinitary languages for higher-order structures.-— 1 1 models and— 1 1 -categoricity.- Infinitary properties, local functors, and systems of ordinal functions.- Logics containing S4 without the finite model property.- An—-calculus system for first-order S4.- Craig's interpolation theorem for modal logics.- A note on models and submodels of arithmetic.- An application of ultra-products to prime rings with polynomial identities.- Embedding nondistributive lattices in the recursively enumerable degrees.- Direct powers with distinguished diagonal.- Solution of problems of choquet and puritz.- Some B. Russell's sprouts (1903 – 1908).- On models of arithmetic.- -definability in set theory.- Initial segments and implications for the structure of degrees.- Abstracts of contributed papers.
From the B&N Reads Blog

Customer Reviews