Pages that link to "Item:Q1908821"

The following pages link to Epsilon substitution method for elementary analysis (Q1908821):

Displaying 23 items.

• On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
• A constructive analysis of learning in Peano arithmetic (Q450942) (← links)
• What evidence is there that \(2^{\land}65536\) is a natural number? (Q689206) (← links)
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\) (Q1399101) (← links)
• A termination proof for epsilon substitution using partial derivations (Q1401363) (← links)
• Epsilon substitution method for theories of jump hierarchies (Q1407530) (← links)
• Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
• Epsilon substitution for transfinite induction (Q1778059) (← links)
• A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
• Epsilon substitution method for elementary analysis (Q1908821) (← links)
• Epsilon substitution for first- and second-order predicate logic (Q1946675) (← links)
• Cut elimination for a simple formulation of epsilon calculus (Q2478554) (← links)
• Ackermann's substitution method (remixed) (Q2503393) (← links)
• Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX (Q2576640) (← links)
• Strong termination for the epsilon substitution method (Q3128468) (← links)
• The Rank Function and Hilbert'S Second ε-Theorem (Q3809764) (← links)
• (Q4325774) (← links)
• Epsilon Substitution Method for  11 - CR: a Constructive Termination Proof (Q4454301) (← links)
• 1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738) (← links)
• Constructive forcing, CPS translations and witness extraction in Interactive realizability (Q5360214) (← links)
• 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)
• VON NEUMANN’S CONSISTENCY PROOF (Q5737949) (← links)
• Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1 (Q5740401) (← links)