Buch, Englisch, Band 255, 358 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1130 g
Reihe: Lecture Notes in Mathematics
Buch, Englisch, Band 255, 358 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1130 g
Reihe: Lecture Notes in Mathematics
ISBN: 978-3-540-05744-4
Verlag: Springer Berlin Heidelberg
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
