The substitution method

DOI10.2307/2270133MaRDI QIDQ5343336zbMATH OpenOpenAlexFDO

Authors W. W. Tait

Publication date 1965

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

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• On the Interpretation of Non-Finitist Proofs--Part I
• Some concepts concerning formal systems of number theory

Cited in

(10)

• Gentzen reduction revisited
• A method of epsilon substitution for the predicate logic with equality
• Epsilon substitution method for elementary analysis
• Ackermann's substitution method (remixed)
• Some applications of Gentzens second consistency proof
• Update procedures and the 1-consistency of arithmetic
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• VON NEUMANN’S CONSISTENCY PROOF
• Herbrand complexity and the epsilon calculus with equality
• The practice of finitism: epsilon calculus and consistency proofs in Hilbert's program

This page was built for publication: The substitution method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5343336)