Pages that link to "Item:Q5536630"
From MaRDI portal
The following pages link to Constructive transfinite number classes (Q5536630):
Displayed 9 items.
- Countable admissible ordinals and hyperdegrees (Q1142207) (← links)
- Forcing and reducibilities. III. Forcing in fragments of set theory (Q3691652) (← links)
- On the upper semi-lattice of -degrees (Q3889039) (← links)
- The Theory of Countable Analytical Sets (Q4078033) (← links)
- Encodability of Kleene's <i>O</i> (Q4404868) (← links)
- Hierarchies based on objects of finite type<sup>1</sup> (Q5577088) (← links)
- A Hierarchy Based on a Type Two Object (Q5585408) (← links)
- Constructively accessible ordinal numbers (Q5593824) (← links)
- Omitting types: application to recursion theory (Q5655353) (← links)