Set Theory and Hierarchy Theory V
Springer Berlin (Verlag)
978-3-540-08521-8 (ISBN)
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.
Erscheint lt. Verlag | 1.11.1977 |
---|---|
Reihe/Serie | Lecture Notes in Mathematics |
Zusatzinfo | VIII, 360 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 517 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Schlagworte | Algebra • arithmetic • Calculus • Finite • Function • Menge (Math.) • Modell (Math.) • Mostowski, Andrzej • Proof • Recursion • Rekursive Funktion • well-ordering principle |
ISBN-10 | 3-540-08521-1 / 3540085211 |
ISBN-13 | 978-3-540-08521-8 / 9783540085218 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich