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

著者名:

• Lachlan, A.
• Srebrny, M.
• Zarach, A.
• SpringerLink (Online service)

シリーズ名:

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)