Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Author(s)
Bibliographic Information
Set theory and hierarchy theory V : Bierutowice, Poland, 1976
（Lecture notes in mathematics, 619）
Springer-Verlag, 1977
- : Berlin
- : New York
Available at / 74 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||6197708521S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Berlin510/L4972020986373
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
Description and Table of Contents
Table of Contents
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.
by "Nielsen BookData"