A survey of proof theory

DOI10.2307/2270324zbMath0177.01002OpenAlexW1978270323MaRDI QIDQ5569099

Georg Kreisel

Publication date: 1968

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

Full work available at URL: https://doi.org/10.2307/2270324

zbMATH Keywords

algebraic logic, model theory

Related Items (31)

Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs ⋮ The fundamental problem of general proof theory ⋮ An axiomatic approach to self-referential truth ⋮ On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos ⋮ Truth, reflection and hierarchies ⋮ The Galvin-Prikry theorem and set existence axioms ⋮ Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience ⋮ Gentzen reduction revisited ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ Unnamed Item ⋮ The Versatility of Universality inPrincipia Mathematica ⋮ Pa-Beweisbare ∀∃-Formeln ⋮ Inferentializing semantics ⋮ Notation systems for infinitary derivations ⋮ A note on the elimination rules ⋮ Reasoning in Dynamic Logic about Program Termination ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Finite investigations of transfinite derivations ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method ⋮ Theory of proofs (arithmetic and analysis) ⋮ Consistency proof without transfinite induction for a formal system for turing machines ⋮ Fragments of arithmetic ⋮ Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent ⋮ Reduction of finite and infinite derivations ⋮ On Takeuti's early view of the concept of set ⋮ Foundations for analysis and proof theory ⋮ … and so on: Schütte on Naming Ordinals ⋮ On a generalized modularization theorem ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consistency proofs of subsystems of classical analysis
• Introduction to model theory and to the metamathematics of algebra
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• First order properties of pairs of cardinals
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Deduction-preserving “recursive isomorphisms” between theories
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• Some Generalisations of the Notion of Well Ordering
• Persistent and invariant formulas relative to theories of higher order
• 1 — Consistency and faithful interpretations
• The consistency of arithmetics

This page was built for publication: A survey of proof theory