Conference in Mathematical Logic - London '70

Herausgegeben:Hodges, W.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 255
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-05744-4
• 1972
• Seitenzahl: 364
• Erscheinungstermin: 25. Februar 1972
• Englisch
• Abmessung: 235mm x 155mm x 20mm
• Gewicht: 586g
• ISBN-13: 9783540057444
• ISBN-10: 3540057447
• Artikelnr.: 23380584

Inhaltsangabe

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.