Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291): Difference between revisions

@@ Property / cites work @@
+Q3910522
@@ Property / cites work: Q3910522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249367
@@ Property / cites work: Q4249367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3849892
@@ Property / cites work: Q3849892 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic operators in constructive metric spaces
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 1: Recursive model theory
+Normal rank
@@ Property / cites work @@
+Recursive analysis
@@ Property / cites work: Recursive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671145
@@ Property / cites work: Q3671145 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of recursively enumerable topological spaces
+Normal rank
@@ Property / cites work @@
+Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
+Normal rank
@@ Property / cites work @@
+Recursive Quantum Functions, Avoidable Points, &amp; Shadow Points in Recursive Analysis
+Normal rank
@@ Property / cites work @@
+Q3227567
@@ Property / cites work: Q3227567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5720193
@@ Property / cites work: Q5720193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556429
@@ Property / cites work: Q5556429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / 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 @@
+Q3849893
@@ Property / cites work: Q3849893 / rank @@
+Normal rank