A complete classification of the Δ₂¹-functions
From MaRDI portal
Publication:5551156
DOI10.1090/S0002-9904-1964-11104-6zbMath0166.26302MaRDI QIDQ5551156
Publication date: 1964
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Related Items
Decision times of infinite computations ⋮ On analytic well-orderings ⋮ The Theory of Countable Analytical Sets ⋮ Constructive transfinite number classes ⋮ Forcing and reducibilities. III. Forcing in fragments of set theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Zur Theorie der konstruktiven Wohlordnungen
- Arithmetical Predicates and Function Quantifiers
- Hierarchies of number-theoretic predicates
- Recursive well-orderings
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
- A Note on Function Quantification
- Measure-theoretic construction of incomparable hyperdegrees
- Some consequences of the axiom of constructibility
- On a problem of Kleene’s
- Memoir on the Analytical Operations and Projective Sets (I)
- Alternative proof of a theorem of Kleene
- Recursively enumerable sets of positive integers and their decision problems
- Creative sets
