Conference in Mathematical Logic — London ’70

Content:
Front Matter....Pages -
Inductive definitions and analogues of large cardinals....Pages 1-9
Compact injectives and Non-Standard Analysis....Pages 10-28
Non-axiomatizability results in infinitary languages for higher-order structures....Pages 29-41
� 1 1 models and � 1 1 -categoricity....Pages 42-62
Infinitary properties, local functors, and systems of ordinal functions....Pages 63-97
Logics containing S4 without the finite model property....Pages 98-102
An ε-calculus system for first-order S4....Pages 103-110
Craig's interpolation theorem for modal logics....Pages 111-127
A note on models and submodels of arithmetic....Pages 128-144
An application of ultra-products to prime rings with polynomial identities....Pages 145-148
Embedding nondistributive lattices in the recursively enumerable degrees....Pages 149-177
Direct powers with distinguished diagonal....Pages 178-203
Solution of problems of choquet and puritz....Pages 204-210
Some B. Russell's sprouts (1903 – 1908)....Pages 211-250
On models of arithmetic....Pages 251-280
$ ilde Delta _1$ -definability in set theory....Pages 281-304
Initial segments and implications for the structure of degrees....Pages 305-335
Abstracts of contributed papers....Pages 336-351