Epsilon substitution method for elementary analysis

DOI10.1007/BF01273688zbMath0848.03032OpenAlexW2018493916MaRDI QIDQ1908821

Wilfried Buchholz, Sergei Tupailo, Grigori Mints

Publication date: 15 October 1996

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01273688

zbMATH Keywords

continuityproof theorycut-eliminationterminationsecond-order arithmeticcomprehensionepsilon substitution methodelementary analysisfinitistic proofnumber-theoretic prooframified system

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35)

Related Items (17)

On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem ⋮ Epsilon substitution method for elementary analysis ⋮ Epsilon substitution for \(ID_1\) via cut-elimination ⋮ Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\) ⋮ A termination proof for epsilon substitution using partial derivations ⋮ Constructive forcing, CPS translations and witness extraction in Interactive realizability ⋮ A constructive analysis of learning in Peano arithmetic ⋮ Cut elimination for a simple formulation of epsilon calculus ⋮ VON NEUMANN’S CONSISTENCY PROOF ⋮ Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1 ⋮ Epsilon substitution for transfinite induction ⋮ 1998–99 Annual Meeting of the Association for Symbolic Logic ⋮ Ackermann's substitution method (remixed) ⋮ A method of epsilon substitution for the predicate logic with equality ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ Strong termination for the epsilon substitution method ⋮ Epsilon substitution method for \([\Pi^0_1,\Pi^0_1\)-FIX]

Cites Work

• Epsilon substitution method for elementary analysis
• Functionals defined by transfinite recursion
• The substitution method
• Grundlagen der Mathematik I
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Epsilon substitution method for elementary analysis