Conference in Mathematical Logic - London '70
Springer Berlin (Verlag)
978-3-540-05744-4 (ISBN)
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.
Erscheint lt. Verlag | 25.2.1972 |
---|---|
Reihe/Serie | Lecture Notes in Mathematics |
Zusatzinfo | X, 358 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 513 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Schlagworte | arithmetic • Calculus • Finite • Function • Identity • Logic • Mathematical Logic • Mathematische Logik • ordinal • set theory • Theorem |
ISBN-10 | 3-540-05744-7 / 3540057447 |
ISBN-13 | 978-3-540-05744-4 / 9783540057444 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich