Hierarchies of Effective Descriptive Set Theory
From MaRDI portal
Publication:5585409
DOI10.2307/1995348zbMATH Open0191.30503OpenAlexW4247727108MaRDI QIDQ5585409FDOQ5585409
Authors: Peter G. Hinman
Publication date: 1969
Full work available at URL: https://doi.org/10.2307/1995348
Cites Work
- Title not available (Why is that?)
- Recursive Functionals and Quantifiers of Finite Types I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Degrees of Unsolvability. (AM-55)
- Separation principles in the hierarchies of classical and effective descriptive set theory
- Title not available (Why is that?)
- Abstract First Order Computability. I
- Hierarchies of number-theoretic predicates
- Memoir on the Analytical Operations and Projective Sets (I)
- A Note on Function Quantification
- Hyperanalytic Predicates
Cited In (6)
- A comparison of the indices arising in the transfinite iteration of functions
- Measure-theoretic uniformity and the Suslin functional
- Representability in some systems of second order arithmetic
- Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
- On the logical and computational properties of the Vitali covering theorem
- Modal functions for concise definition of state machines and products
This page was built for publication: Hierarchies of Effective Descriptive Set Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5585409)