Strong termination for the epsilon substitution method

DOI10.2307/2275811zbMath0870.03023OpenAlexW2110935606MaRDI QIDQ3128468

Grigori Mints

Publication date: 15 September 1997

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

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

zbMATH Keywords

terminationarbitrary order of reductionsHilbert's epsilon substitution method

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\) ⋮ Unnamed Item ⋮ A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) ⋮ A method of epsilon substitution for the predicate logic with equality

Cites Work

• Epsilon substitution method for elementary analysis
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• David Hilbert and his mathematical work
• The consistency of arithmetics

This page was built for publication: Strong termination for the epsilon substitution method