Pages that link to "Item:Q2651884"
From MaRDI portal
The following pages link to Zur Theorie der konstruktiven Wohlordnungen (Q2651884):
Displaying 19 items.
- Infinite time extensions of Kleene's \({\mathcal O}\) (Q1031833) (← links)
- Borel ideals vs. Borel sets of countable relations and trees (Q1120573) (← links)
- Efficient linear orders (Q1231485) (← links)
- Recursive nets (Q2546045) (← links)
- Kleene's Amazing Second Recursion Theorem (Q3161629) (← links)
- Recursive well-orderings (Q3227571) (← links)
- Degrees of Computability (Q3232282) (← links)
- Recursive and Recursively Enumerable Orders (Q3244106) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- Kleene’s Amazing Second Recursion Theorem (Q3644738) (← links)
- On generalized quantifiers in arithmetic (Q3947649) (← links)
- Number theoretic concepts and recursive well-orderings (Q5337196) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)
- Über die Bestimmbarkeit des Verhaltens von Algorithmen (Q5528644) (← links)
- A complete classification of the Δ₂¹-functions (Q5551156) (← links)
- A Hierarchy Based on a Type Two Object (Q5585408) (← links)
- Recursive Functions Defined by Ordinal Recursions (Q5618351) (← links)
- On a consistency theorem connected with the generalized continuum problem (Q5895996) (← links)
- Hyper-polynomial hierarchies and the polynomial jump (Q5958122) (← links)
