17 found
Sort by:
  1. Wolfram Pohlers (2008). Ordinal Analysis of Non-Monotone-Definable Inductive Definitions. Annals of Pure and Applied Logic 156 (1):160-169.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Wolfram Pohlers (2008). 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] Annals of Pure and Applied Logic 156 (1):160-169.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. 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). 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] Bulletin of Symbolic Logic 11 (2).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Mirna Dzamonja, David M. Evans, Erich Gradel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers (2005). The Bulletin of Symbolic Logic Volume 11, Number 2, June 2005. Bulletin of Symbolic Logic 11 (2).
     
    My bibliography  
     
    Export citation  
  5. 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). 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] Bulletin of Symbolic Logic 11 (1):37.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Wolfram Pohlers (2005). 2004 Summer Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 11 (2):249-312.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers (2004). Books to ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, NY 12604, USA. Bulletin of Symbolic Logic 10 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Wolfram Pohlers (2000). In Memoriam: Kurt Schütte, 1909-1998. Bulletin of Symbolic Logic 6 (1):101-102.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Arnold Beckmann & Wolfram Pohlers (1998). Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. Annals of Pure and Applied Logic 94 (1-3):7-19.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Gerhard Jaeger, Wolfram Pohlers & Stan Wainer (1998). Editorial Logic Colloquium '95, Haifa, Israel. Archive for Mathematical Logic 37 (5-6):273-273.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Wolfram Pohlers (1998). Intuitionismus Vs. Klassik. Ethik Und Sozialwissenschaften 9:474-476.
    No categories
     
    My bibliography  
     
    Export citation  
  12. Wolfram Pohlers (1998). Subsystems of Set Theory and Second Order Number Theory. In Samuel R. Buss (ed.), Handbook of Proof Theory. Elsevier. 137--209.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Gerhard Jaeger, Wolfram Pohlers & Stan Wainer (1997). Editorial Logic Colloquium 95, Haifa, Israel Invited Papers on Proof Theory. Archive for Mathematical Logic 5.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Wolfram Pohlers (1996). Pure Proof Theory Aims, Methods and Results. Bulletin of Symbolic Logic 2 (2):159-188.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Wolfram Pohlers (1996). 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] Bulletin of Symbolic Logic 2 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Wolfram Pohlers (1996). X1. Aims. Bulletin of Symbolic Logic 2 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Wolfram Pohlers (1987). Ordinal Notations Based on a Hierarchy of Inaccessible Cardinals. Annals of Pure and Applied Logic 33:157-179.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation