TY  - BOOK
AU  - Lachlan,Alistair
AU  - Srebrny,Marian
AU  - Zarach,Andrzej
ED  - SpringerLink (Online service)
TI  - Set Theory and Hierarchy Theory V
T2  - Lecture Notes in Mathematics,
SN  - 9783540370321
AV  - QA1-939 
U1  - 510 23
PY  - 1977///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Mathematics
KW  - Mathematics, general
N1  - 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 orderings in the language L(Q1) -- On the theories of end-extensions of models of arithmetic -- Some properties of filters -- More constructively about the constructibility
UR  - http://dx.doi.org/10.1007/BFb0067639
ER  -