Pages that link to "Item:Q3727980"
From MaRDI portal
The following pages link to Effective cofinalities and admissibility in E-recursion (Q3727980):
Displaying 8 items.
- Reflection and forcing in E-recursion theory (Q1062978) (← links)
- The limits of E-recursive enumerability (Q1095136) (← links)
- Another extension of Van de Wiele's theorem (Q1102277) (← links)
- Forcing and Consistency Results for Recursion in3E Together with Selection Over ℵ1 (Q3030816) (← links)
- The extended plus-one hypothesis—A relative consistency result (Q3342551) (← links)
- SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN3E (Q3342552) (← links)
- The definability of E(<i>α</i>) (Q3693523) (← links)
- Plus‐1 Results for <i>E</i>‐Recursion (Q3792675) (← links)