A comparison of concepts from computable analysis and effective descriptive set theory (Q4593238): Difference between revisions

@@ Property / arXiv ID @@
+.7997
@@ Property / arXiv ID: 1403.7997 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Closed choice and a uniform low basis theorem
@@ Property / cites work: Closed choice and a uniform low basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+Q4331836
@@ Property / cites work: Q4331836 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Polish spaces
@@ Property / cites work: Quasi-Polish spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Levels of discontinuity, limit-computability, and jump operators
+Normal rank
@@ Property / cites work @@
+Sigma^0_alpha - Admissible Representations (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+First level Borel functions and isomorphisms
@@ Property / cites work: First level Borel functions and isomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Some observations on `A new proof of a theorem of Jayne and Rogers'
+Normal rank
@@ Property / cites work @@
+Decomposing Borel functions using the Shore–Slaman join theorem
+Normal rank
@@ Property / cites work @@
+Towards Computability over Effectively Enumerable Topological Spaces
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Classical descriptive set theory as a refinement of effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Wadge-like reducibilities on arbitrary quasi-Polish spaces
+Normal rank
@@ Property / cites work @@
+A new proof of a theorem of Jayne and Rogers
@@ Property / cites work: A new proof of a theorem of Jayne and Rogers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075220
@@ Property / cites work: Q3075220 / rank @@
+Normal rank
@@ Property / cites work @@
+On the topological aspects of the theory of represented spaces
+Normal rank
@@ Property / cites work @@
+Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Non-deterministic computation and the Jayne-Rogers Theorem
+Normal rank
@@ Property / cites work @@
+Descriptive Set Theory in the Category of Represented Spaces
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Products of effective topological spaces and a uniformly computable Tychonoff Theorem
+Normal rank
@@ Property / cites work @@
+Preservation of the Borel class under countable-compact-covering mappings
+Normal rank
@@ Property / cites work @@
+Q4422786
@@ Property / cites work: Q4422786 / rank @@
+Normal rank
@@ Property / cites work @@
+Total Representations
@@ Property / cites work: Total Representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Real hypercomputation and continuity
@@ Property / cites work: Real hypercomputation and continuity / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1634634322
@@ Property / OpenAlex ID: W1634634322 / rank @@
+Normal rank