{"product_id":"set-theory-and-hierarchy-theory-v-bierutowice-poland-1976-9783540085218","title":"Set Theory and Hierarchy Theory V: Bierutowice, Poland 1976","description":"\u003cp\u003e • Author(s): A. Lachlan | M. Srebrny | A. Zarach\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003eConstructible 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47592251064471,"sku":"9783540085218","price":3489.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540085218.webp?v=1774976995","url":"https:\/\/atlanticbooks.com\/products\/set-theory-and-hierarchy-theory-v-bierutowice-poland-1976-9783540085218","provider":"Atlantic Books","version":"1.0","type":"link"}