Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa

DOI10.2307/421108zbMath0861.03042OpenAlexW1604936433MaRDI QIDQ4897040

Wolfram Pohlers

Publication date: 12 May 1997

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0202-toc.htm

zbMATH Keywords

set theoryordinal analysissecond-order arithmeticinductive definitionsconstructible universeaxiomatic systemslocal predicativityproof treescollapsing functionsimpredicativityreport of the present status

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study ⋮ Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection ⋮ On the Performance of Axiom Systems ⋮ Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006

Cites Work

• Unnamed Item
• Unnamed Item
• Proof-theoretic analysis of KPM
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Proof theory of reflection
• Proof theory. An introduction
• Proof theory and ordinal analysis
• On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic
• Proof theory