Weihrauch degrees, omniscience principles and weak computability (Q3083132): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3106040729
@@ Property / OpenAlex ID: W3106040729 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4679
@@ Property / arXiv ID: 0905.4679 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity on computable metric spaces
+Normal rank
@@ Property / cites work @@
+Corrigendum to “Unique solutions”
@@ Property / cites work: Corrigendum to “Unique solutions” / rank @@
+Normal rank
@@ Property / cites work @@
+Unique solutions
@@ Property / cites work: Unique solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Extended admissibility.
@@ Property / cites work: Extended admissibility. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / 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 @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Plottable Real Number Functions and the Computable Graph Theorem
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Computable invariance
@@ Property / cites work: Computable invariance / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Some conservation results on weak König's lemma
@@ Property / cites work: Some conservation results on weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank