Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826