Pages that link to "Item:Q3205223"
From MaRDI portal
The following pages link to Some More Minimal Pairs of α‐Recursively Enumerable Degrees (Q3205223):
Displaying 4 items.
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- Ordinal machines and admissible recursion theory (Q1032634) (← links)
- On the jumps of the degrees below a recursively enumerable degree (Q1704085) (← links)
- On the embedding of <i>α</i>-recursive presentable lattices into the <i>α</i>-recursive degrees below <b>0′</b> (Q3731593) (← links)
