The following pages link to Recursive well-orderings (Q3227571):
Displaying 13 items.
- The Forcing Method and the Upper Semilattice of Hyperdegrees (Q5554956) (← links)
- Some results in the effective descriptive set theory (Q5567856) (← links)
- Recursive Pseudo-Well-Orderings (Q5579489) (← links)
- A Hierarchy Based on a Type Two Object (Q5585408) (← links)
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy (Q5607224) (← links)
- Measure-Theoretic Uniformity in Recursion Theory and Set Theory (Q5609369) (← links)
- On Minimal and Almost-Minimal Systems of Notations (Q5622174) (← links)
- On a Π<sup>0</sup><sub>1</sub> Set of Positive Measure (Q5622177) (← links)
- Hierarchies in Recursive Function Theory (Q5626638) (← links)
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization (Q5740666) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
- Iterated priority arguments in descriptive set theory (Q6636685) (← links)
