Set Theory and Hierarchy Theory V
Bierutowice, Poland 1976
(Sprache: Englisch, Französisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
37.40 €
Produktdetails
Produktinformationen zu „Set Theory and Hierarchy Theory V “
Klappentext zu „Set Theory and Hierarchy Theory V “
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.
Inhaltsverzeichnis zu „Set Theory and Hierarchy Theory V “
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.
Bibliographische Angaben
- 1977, 368 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch/Französisch
- Herausgegeben: A. Lachlan, A. Zarach, M. Srebrny
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540085211
- ISBN-13: 9783540085218
- Erscheinungsdatum: 01.11.1977
Sprache:
Englisch, Französisch
Kommentar zu "Set Theory and Hierarchy Theory V"
0 Gebrauchte Artikel zu „Set Theory and Hierarchy Theory V“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Set Theory and Hierarchy Theory V".
Kommentar verfassen