{"product_id":"logic-symposia-hakone-1979-1980-proceedings-of-conferences-held-in-hakone-japan-march-21-24-1979-and-february-4-7-1980-9783540111610","title":"Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980","description":"\u003cp\u003e • Author(s): G. H. Müller | G. Takeuti | T. Tugue\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eVarious kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47592164851863,"sku":"9783540111610","price":4631.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540111610.webp?v=1774976589","url":"https:\/\/atlanticbooks.com\/products\/logic-symposia-hakone-1979-1980-proceedings-of-conferences-held-in-hakone-japan-march-21-24-1979-and-february-4-7-1980-9783540111610","provider":"Atlantic Books","version":"1.0","type":"link"}