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

Set Theory and Model Theory

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

herausgegeben von R.B. Jensen und A. Prestel
Mitwirkende
Herausgegeben vonR.B. Jensen
Herausgegeben vonA. Prestel
Buchcover Set Theory and Model Theory  | EAN 9783540108498 | ISBN 3-540-10849-1 | ISBN 978-3-540-10849-8

Set Theory and Model Theory

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

herausgegeben von R.B. Jensen und A. Prestel
Mitwirkende
Herausgegeben vonR.B. Jensen
Herausgegeben vonA. Prestel

Inhaltsverzeichnis

  • 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.