Set Theory and Model Theory

Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

R.B. Jensen, A. Prestel (Herausgeber)

Buch | Softcover

VIII, 180 Seiten

1981
Springer Berlin (Verlag)
978-3-540-10849-8 (ISBN)

Inhalt

Morass-like constructions of ?2-trees in L.- Coarse morasses in L.- Some applications of the core model.- A lattice structure on the isomorphism types of complete boolean algebras.- Pseudo real closed fields.- Some remarks on the mathematical incompleteness of Peano's arithmetic found by paris and harrington.

Produkt-Details

• Erscheint lt. Verlag: 1.7.1981
• Reihe/Serie: Lecture Notes in Mathematics
• Zusatzinfo: VIII, 180 p.
• Verlagsort: Berlin
• Sprache: englisch
• Maße: 155 x 235 mm
• Gewicht: 272 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Algebra • arithmetic • Menge (Math.) • Modell (Math. Logik) • model Theory • Morphism • set theory
• ISBN-10: 3-540-10849-1 / 3540108491
• ISBN-13: 978-3-540-10849-8 / 9783540108498
• Zustand: Neuware