Degree spectra of real closed fields (Q1734266): Difference between revisions

@@ Property / author @@
+Russell G. Miller
@@ Property / author: Russell G. Miller / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2883324280
@@ Property / OpenAlex ID: W2883324280 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07489
@@ Property / arXiv ID: 1807.07489 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Muchnik reducibility and presentations of fields
+Normal rank
@@ Property / cites work @@
+Every Low Boolean Algebra is Isomorphic to a Recursive One
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+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 @@
+COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Degrees in Which the Recursive Sets are Uniformly Recursive
+Normal rank
@@ Property / cites work @@
+Degrees of orderings not isomorphic to recursive linear orderings
+Normal rank
@@ Property / cites work @@
+Spectrum of the field of computable real numbers
@@ Property / cites work: Spectrum of the field of computable real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees coded in jumps of orderings
@@ Property / cites work: Degrees coded in jumps of orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of structures associated with real closed fields
+Normal rank
@@ Property / cites work @@
+A note on computable real fields
@@ Property / cites work: A note on computable real fields / rank @@
+Normal rank
@@ Property / cites work @@
+The -spectrum of a linear order
@@ Property / cites work: The -spectrum of a linear order / rank @@
+Normal rank
@@ Property / cites work @@
+A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
@@ Property / cites work: A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5371227
@@ Property / cites work: Q5371227 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Structures
@@ Property / cites work: Degrees of Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129492774
@@ Property / Wikidata QID: Q129492774 / rank @@
+Normal rank