Computability and Analysis, a Historical Approach (Q3188239): Difference between revisions

@@ Property / cites work @@
+The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
+Normal rank
@@ Property / cites work @@
+Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Q5494231
@@ Property / cites work: Q5494231 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel complexity and computability of the Hahn-Banach theorem
+Normal rank
@@ Property / cites work @@
+A computable version of Banach's inverse mapping theorem
+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 @@
+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 @@
+Q5384984
@@ Property / cites work: Q5384984 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Content of the Brouwer Fixed Point Theorem
+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 @@
+Towards computability of elliptic boundary value problems in variational formulation
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+An effective Riemann Mapping Theorem
@@ Property / cites work: An effective Riemann Mapping Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of the Radon-Nikodym Derivative
@@ Property / cites work: Computability of the Radon-Nikodym Derivative / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+Q3227567
@@ Property / cites work: Q3227567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3243267
@@ Property / cites work: Q3243267 / rank @@
+Normal rank
@@ Property / cites work @@
+Singular coverings and non‐uniform notions of closed set computability
+Normal rank
@@ Property / cites work @@
+Q4749832
@@ Property / cites work: Q4749832 / 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 @@
+A computable ordinary differential equation which possesses no computable solution
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3260574
@@ Property / cites work: Q3260574 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank