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

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