Conference in Mathematical Logic, London '70 : [proceedings]
Author(s)
Bibliographic Information
Conference in Mathematical Logic, London '70 : [proceedings]
（Lecture notes in mathematics, 255）
Springer-Verlag, 1972
- : Germany
- : U.S.
Available at / 71 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||2551853999
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: GermanyDC16:510/C760026180004
-
No Libraries matched.
- Remove all filters.
Note
Held at Bedford College, London, on 24th-28th August 1970
Includes bibliographies
Description and Table of Contents
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.
by "Nielsen BookData"
