Pages that link to "Item:Q5528641"
From MaRDI portal
The following pages link to Metarecursively enumerable sets and admissible ordinals (Q5528641):
Displayed 5 items.
- The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Q3370614) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) (← links)
- Π<sub>1</sub><sup>1</sup> Sets, ω-Sets, and metacompleteness (Q5581616) (← links)
- Metarecursively enumerable sets and their metadegrees (Q5614653) (← links)