The following pages link to The K-Section of a Type n Object (Q4149445):
Displaying 6 items.
- Reflection and forcing in E-recursion theory (Q1062978) (← links)
- The limits of E-recursive enumerability (Q1095136) (← links)
- Effective forcing versus proper forcing (Q1923578) (← links)
- The extended plus-one hypothesis—A relative consistency result (Q3342551) (← links)
- Countable functionals and the projective hierarchy (Q3909040) (← links)
- IN MEMORIAM: GERALD E. SACKS, 1933–2019 (Q5067875) (← links)