Pages that link to "Item:Q5677471"
From MaRDI portal
The following pages link to On suborderings of the α-recursively enumerable α-degrees (Q5677471):
Displayed 10 items.
- The theory of the \(\alpha \) degrees is undecidable (Q607833) (← links)
- \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator (Q1368581) (← links)
- NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS (Q2925331) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics (Q3550582) (← links)
- An extension of the nondiamond theorem in classical and α-recursion theory (Q3698790) (← links)
- On the embedding of <i>α</i>-recursive presentable lattices into the <i>α</i>-recursive degrees below <b>0′</b> (Q3731593) (← links)
- A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no <i>α</i>-recursive functional on the class of <i>α</i>-recursive functions (Q3924188) (← links)
- On generalized computational complexity (Q4163200) (← links)
- Least upper bounds for minimal pairs of α-R.E. α-degrees (Q4774031) (← links)