Set Theory and Hierarchy Theory V Bierutowice, Poland 1976
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1977, 1977
|
| Edition: | 1st ed. 1977 |
| Series: | Lecture Notes in Mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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