On the uniform computational content of the Baire category theorem (Q1633900): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3106086156
@@ Property / OpenAlex ID: W3106086156 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01913
@@ Property / arXiv ID: 1510.01913 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
+Normal rank
@@ Property / cites work @@
+The typical Turing degree
@@ Property / cites work: The typical Turing degree / rank @@
+Normal rank
@@ Property / cites work @@
+Diagonally non-computable functions and fireworks
@@ Property / cites work: Diagonally non-computable functions and fireworks / rank @@
+Normal rank
@@ Property / cites work @@
+Computable invariance
@@ Property / cites work: Computable invariance / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779146
@@ Property / cites work: Q4779146 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Q3508019
@@ Property / cites work: Q3508019 / rank @@
+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 @@
+Borel Complexity of Topological Operations on Computable Metric Spaces
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+Probabilistic computability and choice
@@ Property / cites work: Probabilistic computability and choice / rank @@
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+On the uniform computational content of computability theory
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of Weihrauch degrees
@@ Property / cites work: On the algebraic structure of Weihrauch degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on subsets of metric spaces.
@@ Property / cites work: Computability on subsets of metric spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+The Baire category theorem in weak subsystems of second-order arithmetic
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758821
@@ Property / cites work: Q3758821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness, relativization and Turing degrees
@@ Property / cites work: Randomness, relativization and Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075220
@@ Property / cites work: Q3075220 / rank @@
+Normal rank
@@ Property / cites work @@
+On the (semi)lattices induced by continuous reducibilities
+Normal rank
@@ Property / cites work @@
+Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma
+Normal rank
@@ Property / cites work @@
+Baire categoricity and \(\Sigma_1^0\)-induction
@@ Property / cites work: Baire categoricity and \(\Sigma_1^0\)-induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1633900