Pages that link to "Item:Q3128468"

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

Displaying 4 items.

• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\) (Q1399101) (← links)
• A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
• (Q2776806) (← links)
• A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) (Q3540181) (← links)