Pages that link to "Item:Q3128468"

The following pages link to Strong termination for the epsilon substitution method (Q3128468):

Displaying 9 items.

• 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 for transfinite induction (Q1778059) (← links)
• A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
• Epsilon substitution for first- and second-order predicate logic (Q1946675) (← links)
• Cut elimination for a simple formulation of epsilon calculus (Q2478554) (← links)
• Update procedures and the 1-consistency of arithmetic (Q2776806) (← links)
• Epsilon substitution method for -FIX (Q3416109) (← links)
• A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) (Q3540181) (← links)