Verwandte Artikel zu Conference in Mathematical Logic - London '70 (Lecture...

Conference in Mathematical Logic - London '70 (Lecture Notes in Mathematics, 255, Band 255) - Softcover

 
9783540057444: Conference in Mathematical Logic - London '70 (Lecture Notes in Mathematics, 255, Band 255)
Softcover
ISBN 10: 3540057447 ISBN 13: 9783540057444
Verlag: Springer, 2009

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
3540057447
ISBN 13 
9783540057444
Einband
Taschenbuch
Anzahl der Seiten
364
Herausgeber
Hodges Wilfred
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland