Set Theory and Model Theory Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 | EKB DL

Home BookSet Theory and Model Theory Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

Set Theory and Model Theory Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

Description

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.

Keywords

MathematicsLogic

1981Book

Author(s)R. B. Jensen, A. Prestel

PublisherSpringer Berlin Heidelberg

ISBN9783540108498

LanguageEnglish

SpringerLink

Similar Books

Book

Set Theory and Hierarchy Theory V: Bierutowice, Poland 1976 (Lecture Notes in Mathematics, 619) (English and French Edition)

Book

Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics, 669)

Book

Set Theory and Hierarchy Theory: A Memorial Tribute to Andrzej Mostowski. Bierutowice, Poland, 1975 (Lecture Notes in Mathematics, 537) (English and German Edition)