LEADER 00893nas 2200301 a 450 001 996209608703316 005 20200603204620.0 011 $a1477-9552 035 $a(OCoLC)54505406 035 $a(CKB)954925410803 035 $a(CONSER) 2008233336 035 $a(DE-599)ZDB2101961-7 035 $a(EXLCZ)99954925410803 100 $a20040301a19549999 sy 101 0 $aeng 135 $aurmn|||||| 200 10$aJournal of agricultural economics 210 $aReading, Eng. $cAgricultural Economics Society 300 $aRefereed/Peer-reviewed 311 $a0021-857X 606 $aAgriculture$xEconomic aspects$vPeriodicals 615 0$aAgriculture$xEconomic aspects 676 $a338.105 712 02$aAgricultural Economics Society (Great Britain) 906 $aJOURNAL 912 $a996209608703316 996 $aJournal of agricultural economics$9794039 997 $aUNISA LEADER 04051nam 2200673 a 450 001 9910956491803321 005 20240313234647.0 010 $a3-86838-087-6 010 $a3-11-032490-3 024 7 $a10.1515/9783110324907 035 $a(CKB)2550000001097093 035 $a(EBL)1215583 035 $a(OCoLC)851972130 035 $a(SSID)ssj0000801459 035 $a(PQKBManifestationID)11440770 035 $a(PQKBTitleCode)TC0000801459 035 $a(PQKBWorkID)10793570 035 $a(PQKB)11524292 035 $a(DE-B1597)211281 035 $a(OCoLC)853268803 035 $a(OCoLC)978589469 035 $a(DE-B1597)9783110324907 035 $a(Au-PeEL)EBL1215583 035 $a(CaPaEBR)ebr10728776 035 $a(CaONFJC)MIL503627 035 $a(Perlego)652104 035 $a(MiAaPQ)EBC1215583 035 $a(EXLCZ)992550000001097093 100 $a20130717d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aWays of proof theory /$fRalf Schindler (ed.) 205 $a1st ed. 210 $aFrankfurt ;$aNew Brunswick $cOntos Verlag$d2010 215 $a1 online resource (495 p.) 225 0 $aOntos Mathematical Logic ;$v2 225 0$aOntos mathematical logic ;$vv. 2 300 $aDescription based upon print version of record. 311 08$a3-11-032452-0 311 08$a1-299-72376-4 320 $aIncludes bibliographical references. 327 $t Frontmatter -- $tPreface -- $tContents -- $tWolfram Pohlers-Life and Work / $rDiller, Justus -- $tThe Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 / $rFeferman, Solomon -- $tA New Approach to Predicative Set Theory / $rAvron, Arnon -- $tCharacterising Definable Search Problems in Bounded Arithmetic via Proof Notations / $rBeckmann, Arnold / Buss, Samuel R. -- $tOn Topological Models of GLP / $rBeklemishev, Lev / Bezhanishvili, Guram / Icard, Thomas -- $tProgram Extraction via Typed Realisability for Induction and Coinduction / $rBerger, Ulrich / Seisenberger, Monika -- $tAnother Reduction of Classical ID? to Constructive IDi? / $rBuchholz, Wilfried -- $tElementary Constructive Operational Set Theory / $rCantini, Andrea / Crosilla, Laura -- $tFunctional Interpretations of Classical Systems / $rDiller, Justus -- $tTowards a Formal Theory of Computability / $rHuber, Simon / Karádais, Basil A. / Schwichtenberg, Helmut -- $t?11 Choice in a Theory of Sets and Classes / $rJäger, Gerhard / Krähenbühl, Jürg -- $tAn Extended Predicative Definition of the Mahlo Universe / $rKahle, Reinhard / Setzer, Anton -- $tITTMs with Feedback / $rLubarsky, Robert S. -- $tLogspace without Bounds / $rOitavem, Isabel -- $tInvestigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between ?11 -CA and ?12 -CA + BI: Part I / $rRathjen, Michael -- $tWeak Theories of Operations and Types / $rStrahm, Thomas -- $tComputing Bounds from Arithmetical Proofs / $rWainer, Stanley S. -- $t Backmatter 330 $aOn the occasion of the retirement of Wolfram Pohlers the Institut fu?r Mathematische Logik und Grundlagenforschung of the University of Mu?nster organized a colloquium and a workshop which took place July 17 - 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof 410 0$aOntos Mathematical Logic 606 $aProof theory 615 0$aProof theory. 676 $a511.3 700 $aSchindler$b Ralf$0524636 702 $aSchindler$b Ralf, 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910956491803321 996 $aWays of proof theory$94446905 997 $aUNINA