Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis (Q4916185): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3910522
@@ Property / cites work: Q3910522 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Q4249367
@@ Property / cites work: Q4249367 / rank @@
+Normal rank
@@ Property / cites work @@
+On singular coverings and properties of constructive functions connected with them
+Normal rank
@@ Property / cites work @@
+Q4249723
@@ Property / cites work: Q4249723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive analysis
@@ Property / cites work: Recursive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q3778751
@@ Property / cites work: Q3778751 / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+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 and nonextendible functions over the reals; filter foundation for recursive analysis. II
+Normal rank
@@ Property / cites work @@
+A blend of methods of recursion theory and topology.
+Normal rank
@@ Property / cites work @@
+Q3285633
@@ Property / cites work: Q3285633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567860
@@ Property / cites work: Q5567860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3722498
@@ Property / cites work: Q3722498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241198
@@ Property / cites work: Q3241198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181669
@@ Property / cites work: Q5181669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5720193
@@ Property / cites work: Q5720193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749832
@@ Property / cites work: Q4749832 / rank @@
+Normal rank
@@ Property / cites work @@
+A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
+Normal rank
@@ Property / cites work @@
+Q5608010
@@ Property / cites work: Q5608010 / rank @@
+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 @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3849890
@@ Property / cites work: Q3849890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / 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 @@
+Q3484824
@@ Property / cites work: Q3484824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Some properties of constructive real numbers and constructive functions
+Normal rank