Spectrum of the field of computable real numbers (Q2401539): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-017-9419-8
@@ Property / DOI: 10.1007/s10469-017-9419-8 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Mean value theorems in constructive analysis
@@ Property / cites work: Mean value theorems in constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of highn and non-lown degrees
@@ Property / cites work: Spectra of highn and non-lown degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779146
@@ Property / cites work: Q4779146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Q5656753
@@ Property / cites work: Q5656753 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees in Which the Recursive Sets are Uniformly Recursive
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Q4210476
@@ Property / cites work: Q4210476 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10469-017-9419-8
@@ Property / DOI: 10.1007/S10469-017-9419-8 / rank @@
+Normal rank