The following pages link to Recursive well-founded orderings (Q4163203):
Displaying 6 items.
- Borel ideals vs. Borel sets of countable relations and trees (Q1120573) (← links)
- Embeddings between well-orderings: computability-theoretic reductions (Q1987213) (← links)
- On Recursive Trees with a Unique Infinite Branch (Q3041176) (← links)
- A recursion theoretic analysis of the clopen Ramsey theorem (Q3691655) (← links)
- Optimal bounds for ordinal comparison maps (Q3737421) (← links)
- On the ranked points of a <i>Π<sub>1</sub><sup>0</sup></i> set (Q4207893) (← links)
