<i>d</i>-computable categoricity for algebraic fields (Q3655259): Difference between revisions

@@ Property / author @@
-Russell G. Miller
@@ Property / author: Russell G. Miller / rank @@
-Normal rank
@@ 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 / full work available at URL @@
+https://doi.org/10.2178/jsl/1254748694
+Normal rank
@@ Property / OpenAlex ID @@
+W2150583267
@@ Property / OpenAlex ID: W2150583267 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computable Dimension of I-Trees of Infinite Height
+Normal rank
@@ Property / cites work @@
+Degrees of orderings not isomorphic to recursive linear orderings
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Class groups of integral group rings
@@ Property / cites work: Class groups of integral group rings / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+The computable dimension of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Effective content of field theory
@@ Property / cites work: Effective content of field theory / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of trees of infinite height
+Normal rank
@@ Property / cites work @@
+Computable categoricity of trees of finite height
@@ Property / cites work: Computable categoricity of trees of finite height / rank @@
+Normal rank