A survey of proof theory

DOI10.2307/2270324zbMath0177.01002MaRDI 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

Unnamed Item, Reasoning in Dynamic Logic about Program Termination, Fragments of arithmetic, Foundations for analysis and proof theory, Proof-theoretical analysis: Weak systems of functions and classes, Inferentializing semantics, An axiomatic approach to self-referential truth, The Galvin-Prikry theorem and set existence axioms, Gentzen reduction revisited, A note on the elimination rules, 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), Reduction of finite and infinite derivations, On a generalized modularization theorem, Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent, Notation systems for infinitary derivations, Truth, reflection and hierarchies, Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs, Pa-Beweisbare ∀∃-Formeln, Consistency proof without transfinite induction for a formal system for turing machines

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item