Set Theory and Model Theory [electronic resource] : Proceedings of an Informal Symposium Held at Bonn, June 1–3, 1979 / edited by Ronald Björn Jensen, Alexander Prestel.
Material type: TextSeries: Lecture Notes in Mathematics ; 872Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981Description: VIII, 180 p. online resourceContent type:- text
- computer
- online resource
- 9783540387572
- 511.3 23
- QA8.9-10.3
Contents:
In:
Springer eBooks
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.
No physical items for this record
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.
There are no comments on this title.