Effective Choice and Boundedness Principles in Computable Analysis (Q3083466): Difference between revisions

@@ Property / cites work @@
+Mathematics based on incremental learning -- excluded middle and inductive inference
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Borel degrees of some topological functions
+Normal rank
@@ Property / cites work @@
+On a simple definition of computable function of a real variable‐with applications to functions of a complex variable
+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 @@
+Computability on subsets of Euclidean space. I: Closed and compact subsets
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel Complexity of Topological Operations on Computable Metric Spaces
+Normal rank
@@ Property / cites work @@
+Omniscience Principles and Functions of Bounded Variation
+Normal rank
@@ Property / cites work @@
+Polynomials and linear transformations
@@ Property / cites work: Polynomials and linear transformations / rank @@
+Normal rank
@@ Property / cites work @@
+A computable version of Banach's inverse mapping theorem
+Normal rank
@@ Property / cites work @@
+Plottable Real Number Functions and the Computable Graph Theorem
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel complexity and computability of the Hahn-Banach theorem
+Normal rank
@@ Property / cites work @@
+On the (semi)lattices induced by continuous reducibilities
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Effective representations of the space of linear bounded operators
+Normal rank
@@ Property / cites work @@
+Computable invariance
@@ Property / cites work: Computable invariance / rank @@
+Normal rank
@@ Property / cites work @@
+Constructively Complete Finite Sets
@@ Property / cites work: Constructively Complete Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+On uniform weak König's lemma
@@ Property / cites work: On uniform weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+An omniscience principle, the König Lemma and the Hahn‐Banach theorem
+Normal rank
@@ Property / cites work @@
+Corrigendum to “Unique solutions”
@@ Property / cites work: Corrigendum to “Unique solutions” / 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 @@
+Unique solutions
@@ Property / cites work: Unique solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+Uniform versions of some axioms of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Berechenbare Reelle Funktionenfolgen
@@ Property / cites work: Berechenbare Reelle Funktionenfolgen / rank @@
+Normal rank