Pages that link to "Item:Q3792675"
From MaRDI portal
The following pages link to Plus‐1 Results for <i>E</i>‐Recursion (Q3792675):
Displaying 5 items.
- More results on E loops (Q1061238) (← links)
- Reflection and forcing in E-recursion theory (Q1062978) (← links)
- Inadmissible forcing (Q1102950) (← links)
- Effective cofinalities and admissibility in E-recursion (Q3727980) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)