Epsilon substitution method for elementary analysis

DOI10.1007/BF01273688MaRDI QIDQ1908821zbMATH OpenOpenAlexFDO

Authors Sergei Tupailo, Wilfried Buchholz, G. E. 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 theorysecond-order arithmeticcut-eliminationterminationcomprehensionepsilon 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)

Recommendations

• Grundlagen der Mathematik. Bd. II.
• A formalization of recursive arithmetic.
• Les méthodes axiomatiques modernes et les fondements des mathématiques.
• Der Hilbertsche Formalismus. I: Der Formalismus H\(_{\text{I}}\).
• Classificatión sistemática de la propriedades lógicas.
• Zur Widerspruchsfreiheit der Zahlentheorie.
• The interdeducibility of the new Hilbert-Bernays theory and Principia Mathematica.
• Grundzüge der theoretischen Logik.
• Beweis der Widerspruchsfreiheit des Funktionenkalküls der mathematischen Logik.

Cites work

• scientific article; zbMATH DE number 3150889 (Why is no real title available?)
• scientific article; zbMATH DE number 3827857 (Why is no real title available?)
• scientific article; zbMATH DE number 4108755 (Why is no real title available?)
• scientific article; zbMATH DE number 733386 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• David Hilbert and his mathematical work
• Epsilon substitution method for elementary analysis
• Functionals defined by transfinite recursion
• Grundlagen der Mathematik I
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• The consistency of arithmetics
• The substitution method

Cited in

(27)

• A constructive analysis of learning in Peano arithmetic
• On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
• What evidence is there that \(2^{\land}65536\) is a natural number?
• A termination proof for epsilon substitution using partial derivations
• The Rank Function and Hilbert'S Second ε-Theorem
• Epsilon substitution for \(ID_1\) via cut-elimination
• A method of epsilon substitution for the predicate logic with equality
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Epsilon substitution method for theories of jump hierarchies
• The substitution method revisited
• Epsilon substitution for first- and second-order predicate logic
• Cut elimination for a simple formulation of epsilon calculus
• Epsilon substitution method for elementary analysis
• Interactive realizability for second-order Heyting arithmetic with EM1 and SK1
• Strong termination for the epsilon substitution method
• scientific article; zbMATH DE number 733386 (Why is no real title available?)
• Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX
• Epsilon substitution for transfinite induction
• Ackermann's substitution method (remixed)
• Constructive forcing, CPS translations and witness extraction in interactive realizability
• Epsilon Substitution Method for  11 - CR: a Constructive Termination Proof
• scientific article; zbMATH DE number 3859084 (Why is no real title available?)
• scientific article; zbMATH DE number 1418438 (Why is no real title available?)
• 2005 Annual Meeting of the Association for Symbolic Logic
• scientific article; zbMATH DE number 4108755 (Why is no real title available?)
• 1998–99 Annual Meeting of the Association for Symbolic Logic
• VON NEUMANN’S CONSISTENCY PROOF

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

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