18 found
Order:
See also
Wolfram Pohlers
University of Muenster
  1.  23
    Subsystems of Set Theory and Second Order Number Theory.Wolfram Pohlers - 1998 - In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 137--209.
  2.  29
    Pure Proof Theory Aims, Methods and Results.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.
  3.  30
    Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory.Arnold Beckmann & Wolfram Pohlers - 1998 - Annals of Pure and Applied Logic 94 (1-3):7-19.
    We prove that the boundedness theorem of generalized recursion theory can be derived from the ω-completeness theorem for number theory. This yields a proof of the boundedness theorem which does not refer to the analytical hierarchy theorem.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  13
    Ordinal Notations Based on a Hierarchy of Inaccessible Cardinals.Wolfram Pohlers - 1987 - Annals of Pure and Applied Logic 33 (2):157-179.
  5.  28
    Pure Proof Theory. Mathematicians Are Interested in Structures. There is Only One Way to Find the Theorems of a Structure. Start with an Axiom System for the Structure and Deduce the Theorems Logically. These Axiom Systems Are the Objects of Proof-Theoretical Research. Studying Axiom Systems There is a Series of More. [REVIEW]Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2).
  6. Books to Asl, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference. [REVIEW]Mirna Dzamonja, David M. Evans, Erich Grädel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2).
     
    Export citation  
     
    Bookmark  
  7. The Bulletin of Symbolic Logic Volume 11, Number 2, June 2005.Mirna Dzamonja, David M. Evans, Erich Gradel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2).
  8.  26
    Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW]David M. Evans, Erich Grädel, Geoffrey P. Hellman, Denis Hirschfeldt, Thomas J. Jech, Julia Knight, Michael C. Laskowski, Volker Peckhaus, Wolfram Pohlers & Sławomir Solecki - 2005 - Bulletin of Symbolic Logic 11 (1):37.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  16
    Editorial Logic Colloquium '95, Haifa, Israel : Invited Papers on Proof Theory.Gerhard Jaeger, Wolfram Pohlers & Stan Wainer - 1998 - Archive for Mathematical Logic 37 (5-6):273-273.
  10.  2
    Editorial Logic Colloquium 95, Haifa, Israel Invited Papers on Proof Theory.Gerhard Jaeger, Wolfram Pohlers & Stan Wainer - 1997 - Archive for Mathematical Logic 36 (4-5).
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  10
    Books to ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, NY 12604, USA.Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2004 - Bulletin of Symbolic Logic 10 (3).
  12.  9
    Hilbert’s Programme and Ordinal Analysis.Wolfram Pohlers - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 291-322.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  19
    In Memoriam: Kurt Schütte 1909–1998.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (1):101-102.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  14. Intuitionismus Vs. Klassik.Wolfram Pohlers - 1998 - Ethik Und Sozialwissenschaften 9:474-476.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  55
    Ordinal Analysis of Non-Monotone-Definable Inductive Definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
    Exploiting the fact that -definable non-monotone inductive definitions have the same closure ordinal as arbitrary arithmetically definable monotone inductive definitions, we show that the proof theoretic ordinal of an axiomatization of -definable non-monotone inductive definitions coincides with the proof theoretic ordinal of the theory of arithmetically definable monotone inductive definitions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  11
    Ordinal Analysis of Non-Monotone Http://Ars. Els-Cdn. Com/Content/Image/Http://Origin-Ars. Els-Cdn. Com/Content/Image/1-S2. 0-S0168007208000924-Si1. Gif"/>-Definable Inductive Definitions. [REVIEW]Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  16
    2004 Summer Meeting of the Association for Symbolic Logic.Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2):249-312.
  18. X1. Aims.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2).
     
    Export citation  
     
    Bookmark