---

＜電子ブック＞
Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 / edited by R.B. Jensen, A. Prestel
(Lecture Notes in Mathematics. ISSN:16179692 ; 872)

版	1st ed. 1981.
出版者	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
出版年	1981
大きさ	VIII, 180 p : online resource
著者標目	Jensen, R.B editor Prestel, A editor SpringerLink (Online service)
件　名	LCSH:Mathematical logic FREE:Mathematical Logic and Foundations
一般注記	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 HTTP:URL=https://doi.org/10.1007/BFb0098616

 類似資料