Pages that link to "Item:Q1399101"
From MaRDI portal
The following pages link to Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\) (Q1399101):
Displayed 11 items.
- Exact bounds on epsilon processes (Q535160) (← links)
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Epsilon substitution for transfinite induction (Q1778059) (← links)
- Cut elimination for a simple formulation of epsilon calculus (Q2478554) (← links)
- Ackermann's substitution method (remixed) (Q2503393) (← links)
- Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX (Q2566062) (← links)
- Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX (Q2576640) (← links)
- Epsilon substitution method for -FIX (Q3416109) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)