Iterated effective embeddings of abelian p-groups (Q2941047): Difference between revisions

@@ Property / author @@
-Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
-Normal rank
@@ Property / author @@
+Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Jump degrees of torsion-free abelian groups
@@ Property / cites work: Jump degrees of torsion-free abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Effective categoricity of abelian \(p\)-groups
@@ Property / cites work: Effective categoricity of abelian \(p\)-groups / rank @@
+Normal rank
@@ Property / cites work @@
+On initial segments of computable linear orders
@@ Property / cites work: On initial segments of computable linear orders / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding prime models
@@ Property / cites work: Bounding prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Countable vector spaces with recursive operations Part I<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+Countable vector spaces with recursive operations Part II
+Normal rank
@@ Property / cites work @@
+Effectively categorical abelian groups
@@ Property / cites work: Effectively categorical abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+<i>η</i>-representation of sets and degrees
@@ Property / cites work: <i>η</i>-representation of sets and degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Subgroups of finitely presented groups
@@ Property / cites work: Subgroups of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+Prime models of theories of computable linear orderings
+Normal rank
@@ Property / cites work @@
+An uncountably categorical theory whose only computably presentable model is saturated
+Normal rank
@@ Property / cites work @@
+Order-computable sets
@@ Property / cites work: Order-computable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Computable shuffle sums of ordinals
@@ Property / cites work: Computable shuffle sums of ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Limitwise monotonic sequences and degree spectra of structures
+Normal rank
@@ Property / cites work @@
+Q5589390
@@ Property / cites work: Q5589390 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable models of theories with few models
@@ Property / cites work: Computable models of theories with few models / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively presented Abelian groups: Effective <i>p</i>-Group theory. I
+Normal rank
@@ Property / cites work @@
+Recursively enumerable vector spaces
@@ Property / cites work: Recursively enumerable vector spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Effective content of field theory
@@ Property / cites work: Effective content of field theory / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0218196714500465
+Normal rank
@@ Property / OpenAlex ID @@
+W2077716430
@@ Property / OpenAlex ID: W2077716430 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2941047