Title | Set Theory and Hierarchy Theory V [electronic resource] / edited by Alistair Lachlan, Marian Srebrny, Andrzej Zarach |
---|---|

Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1977 |

Connect to | http://dx.doi.org/10.1007/BFb0067639 |

Descript | VIII, 360 p. online resource |

CONTENT

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 ? โ{128}{148} ? procedures and the infinitely small in nonstandard methods -- Structures ? โ{128}{148} 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

Mathematics
Mathematics
Mathematics general