Pages that link to "Item:Q1778059"
From MaRDI portal
The following pages link to Epsilon substitution for transfinite induction (Q1778059):
Displaying 5 items.
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Cut elimination for a simple formulation of epsilon calculus (Q2478554) (← links)
- Epsilon substitution method for -FIX (Q3416109) (← links)
- (Q4981452) (← links)
- Epsilon-invariant substitutions and indefinite descriptions (Q5176660) (← links)