{"product_id":"iterated-inductive-definitions-and-subsystems-of-analysis-recent-proof-theoretical-studies-von-w-buchholz-s-feferman-w-pohlers-w-sieg","title":"Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies","description":"\u003cp\u003eInductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540111702\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540111702","offer_id":39435937611869,"sku":"9783540111702","price":37.4,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1df4aa5c-a706-4216-bc3c-a37dfad9839a.jpg?v=1772085659","url":"https:\/\/shop.autorenwelt.de\/products\/iterated-inductive-definitions-and-subsystems-of-analysis-recent-proof-theoretical-studies-von-w-buchholz-s-feferman-w-pohlers-w-sieg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}