{"product_id":"higher-set-theory-proceedings-oberwolfach-germany-april-13-23-1977-9783540089261","title":"Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977","description":"\u003cp\u003e • Author(s): G. H. Müller | D. S. Scott\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003eWellordered subclasses of proper classes.- A proof of foundation from axioms of cumulation.- Categoricity with respect to ordinals.- Classically and intuitionistically provably recursive functions.- Hierarchies of sets definably by means of infinitary languages.- Some results on degrees of constructibility.- Constructive universes I.- The evolution of large cardinal axioms in set theory.- Forcing in analysis.- Recursivity and compactness.- Fine structure theory of the constructible universe in ?- and ?-recursion theory.- On a class of models of the n-th order arithmetic.- O# and the p-point problem.- A combinatorial characterization of inaccessible cardinals.- Singular cardinals and analytic games.- Regressive functions and stationary sets.- Cardinals in the inner model HOD.- Partitions of the real line into X 1 closed sets.- Gödel numbers of product spaces.- A note on increasing sequences of constructibility degrees.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46894284079255,"sku":"9783540089261","price":4000.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540089261.webp?v=1770323208","url":"https:\/\/atlanticbooks.com\/products\/higher-set-theory-proceedings-oberwolfach-germany-april-13-23-1977-9783540089261","provider":"Atlantic Books","version":"1.0","type":"link"}