Pages that link to "Item:Q2542989"
From MaRDI portal
The following pages link to The Suslin-Kleene theorem for countable structures (Q2542989):
Displaying 9 items.
- Introduction to Turing categories (Q998306) (← links)
- Two theorems about projective sets (Q2559465) (← links)
- Recursion in a quantifier vs. elementary induction (Q3861374) (← links)
- Refinements of Vaught's normal from theorem (Q3875914) (← links)
- Game sentences, recursive saturation and definability (Q3889030) (← links)
- Strict-Π<sub>1</sub><sup>1</sup> predicates on countable and cofinality ω transitive sets (Q4147964) (← links)
- Inductive Definitions and Computability (Q5628117) (← links)
- The Game Quantifier (Q5654033) (← links)
- Omitting types: application to recursion theory (Q5655353) (← links)