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
（Lecture notes in mathematics, 872）
Springer-Verlag, 1981
- : Berlin
- : New York
大学図書館所蔵 全72件
注記
Includes bibliographical references
内容説明・目次
目次
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.
「Nielsen BookData」 より