The following pages link to A survey of proof theory (Q5569099):
Displaying 31 items.
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- Fragments of arithmetic (Q762484) (← links)
- Foundations for analysis and proof theory (Q798634) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Inferentializing semantics (Q975776) (← links)
- An axiomatic approach to self-referential truth (Q1096626) (← links)
- The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
- Gentzen reduction revisited (Q1140640) (← links)
- A note on the elimination rules (Q1242903) (← links)
- Finite investigations of transfinite derivations (Q1254248) (← links)
- A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Reduction of finite and infinite derivations (Q1577482) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent (Q1835668) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- Notation systems for infinitary derivations (Q2277451) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos (Q2910986) (← links)
- Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs (Q3160441) (← links)
- Pa-Beweisbare ∀∃-Formeln (Q3338236) (← links)
- Consistency proof without transfinite induction for a formal system for turing machines (Q4192056) (← links)
- The Versatility of Universality in<i>Principia Mathematica</i> (Q4914180) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Reasoning in Dynamic Logic about Program Termination (Q5452190) (← links)
- (Q5545953) (← links)
