Set Theory and Hierarchy Theory V : Bierutowice, Poland 1976. 1st ed. 1977
- 種類:
- 電子ブック
- 責任表示:
- edited by A. Lachlan, M. Srebrny, A. Zarach
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977
- 著者名:
- シリーズ名:
- Lecture Notes in Mathematics ; 619
- ISBN:
- 9783540370321 [3540370323]
- 注記:
- Constructible semi-lattices of degrees of constructibility -- Refining systems on Boolean algebras -- The Lindenbaum-algebra of the theory of well-orders and Abelian groups with the quantifier Q? -- Extendability of structures as infinitary property -- A reduction of the theory of types -- Random forcing -- Topological problems in alternative set theory -- On the Baire property of Boolean algebras -- The relation between ? — ? procedures and the infinitely small in nonstandard methods -- Structures ? — saturee -- On the inhomogenity of the set of P(m)-points of ?* -- On the projective class of the continuum hypothesis -- A survey of finite-type Recursion -- Initial segments of models of Peano's axioms -- On the rules of proof generated by hierarchies -- On cardinal numbers in Quine's New Foundations -- The theory of the class HOD -- Construction of nice trees -- Differential calculus in the alternative set theory -- The consistency of the theory ZF+L1?HOD -- On the decidability of the theory of linear orderin
- ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
1
電子ブック
Set Theory and Hierarchy Theory : A Memorial Tribute to Andrzej Mostowski. Bierutowice, Poland, 1975
Springer Berlin Heidelberg : Imprint: Springer |
Springer New York : Imprint: Birkhäuser |
Springer-Verlag |
Springer International Publishing : Imprint: Springer |
Springer New York : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer International Publishing : Imprint: Springer |
Springer-Verlag London Limited |
Springer Science+Business Media, LLC |
Springer Science+Business Media, Inc. |
Springer-Verlag London Limited |