Set 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 / edited by R.B. Jensen, A. Prestel.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Jensen, R.B (Editor), Prestel, A. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981.
Edition:	1st ed. 1981.
Series:	Lecture Notes in Mathematics, 872 Springer eBook Collection.
Subjects:	Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

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.