Classes of Polish spaces under effective Borel isomorphism

DOI10.1090/memo/1135zbMath1435.03004arXiv1701.03735OpenAlexW2470232689MaRDI QIDQ5365177

Vassilios Gregoriades

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

zbMATH Keywords

Kleene space\(\Delta^1_1\) injection\(\Delta^1_1\) isomorphismeffective Borel isomorphismrecursively presented metric spaceSpector-Gandy space

Mathematics Subject Classification ID

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)

Towards the Effective Descriptive Set Theory ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES ⋮ Computability of Subsets of Metric Spaces

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