Classes of Polish spaces under effective Borel isomorphism
DOI10.1090/memo/1135zbMath1435.03004arXiv1701.03735OpenAlexW2470232689MaRDI QIDQ5365177
Publication date: 6 October 2017
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1701.03735
Kleene space\(\Delta^1_1\) injection\(\Delta^1_1\) isomorphismeffective Borel isomorphismrecursively presented metric spaceSpector-Gandy space
Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (4)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Implicit definability in arithmetic
- The effective theory of Borel equivalence relations
- Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
- On degrees of recursive unsolvability
- Recursion theory week. Proceedings of a conference held in Oberwolfach, Germany, March 19-25, 1989
- Elementary induction on abstract structures
- The recursively enumerable degrees are dense
- Perfect subsets of definable sets of real numbers
- Zur Theorie der konstruktiven Wohlordnungen
- The upper semi-lattice of degrees of recursive unsolvability
- Kleene's Amazing Second Recursion Theorem
- Turning Borel sets into clopen sets effectively
- 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)
- Measure-theoretic construction of incomparable hyperdegrees
- On a problem of Kleene’s
- Hyperarithmetical quantifiers
- Mass Problems and Randomness
- Effective properties in compact sets of Borel functions
- Universal co-analytic sets
- Minimal Covers and Hyperdegrees
- Proof of a Conjecture of Friedman
- Borel sets and hyperdegrees
- Measure and category in effective descriptive set theory
- Encodability of Kleene's O
- A splitting theorem for the Medvedev and Muchnik lattices
- Incomputability of Simply Connected Planar Continua
- Admissible Sets and Structures
- Some applications of the notions of forcing and generic sets
- The Forcing Method and the Upper Semilattice of Hyperdegrees
- Recursive Pseudo-Well-Orderings
- Some applications of forcing to hierarchy problems in arithmetic
- A minimal hyperdegree
- Measure-Theoretic Uniformity in Recursion Theory and Set Theory
- Infinitary logic and admissible sets
- L'uniformisation des complémentaires analytiques
- On notation for ordinal numbers
- Recursive Predicates and Quantifiers
- A Separation Theorem for ∑ 1 1 Sets
This page was built for publication: Classes of Polish spaces under effective Borel isomorphism
