The substitution method

DOI10.2307/2270133zbMATH Open0133.25301OpenAlexW1963589974MaRDI QIDQ5343336FDOQ5343336

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 (9)

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

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)