Borel complexity and computability of the Hahn-Banach theorem (Q926175): Difference between revisions

@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779146
@@ Property / cites work: Q4779146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418667
@@ Property / cites work: Q4418667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718580
@@ Property / cites work: Q5718580 / rank @@
+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 @@
+Computability on subsets of metric spaces.
@@ Property / cites work: Computability on subsets of metric spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theorem by A. E. Taylor
@@ Property / cites work: On a theorem by A. E. Taylor / rank @@
+Normal rank
@@ Property / cites work @@
+Q5733836
@@ Property / cites work: Q5733836 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+On the Constructive Hahn-Banach Theorem
@@ Property / cites work: On the Constructive Hahn-Banach Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+An omniscience principle, the König Lemma and the Hahn‐Banach theorem
+Normal rank
@@ Property / cites work @@
+Q5848892
@@ Property / cites work: Q5848892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749832
@@ Property / cites work: Q4749832 / rank @@
+Normal rank
@@ Property / cites work @@
+Convex functions, monotone operators and differentiability
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353856
@@ Property / cites work: Q4353856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Hahn–Banach extension operators
@@ Property / cites work: Linear Hahn–Banach extension operators / rank @@
+Normal rank
@@ Property / cites work @@
+The extension of linear functionals
@@ Property / cites work: The extension of linear functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531998
@@ Property / cites work: Q4531998 / rank @@
+Normal rank