{"product_id":"proof-theory-and-intuitionistic-systems-von-bruno-scarpellini","title":"Proof Theory and Intuitionistic Systems","description":"\u003cp\u003eand preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi\/IN*.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540055419\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540055419","offer_id":39435911790685,"sku":"9783540055419","price":42.75,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/272bf00d-2b3c-4dac-9df0-b3ff476cc7ce.jpg?v=1772084036","url":"https:\/\/shop.autorenwelt.de\/products\/proof-theory-and-intuitionistic-systems-von-bruno-scarpellini","provider":"Autorenwelt Shop","version":"1.0","type":"link"}