Abelian \(p\)-groups and the halting problem (Q306578): Difference between revisions

@@ 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 / full work available at URL @@
+https://doi.org/10.1016/j.apal.2016.04.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2343502051
@@ Property / OpenAlex ID: W2343502051 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+Back and forth relations for reduced abelian \(p\)-groups
+Normal rank
@@ Property / cites work @@
+Effective categoricity of equivalence structures
@@ Property / cites work: Effective categoricity of equivalence structures / 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 \(\Delta_2^0\)-categoricity of equivalence relations
+Normal rank
@@ Property / cites work @@
+Effectively categorical abelian groups
@@ Property / cites work: Effectively categorical abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Computable completely decomposable groups
@@ Property / cites work: Computable completely decomposable groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / 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 @@
+Autostability of models and Abelian groups
@@ Property / cites work: Autostability of models and Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Q3832760
@@ Property / cites work: Q3832760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3130249
@@ Property / cites work: Q3130249 / 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 @@
+Q3091709
@@ Property / cites work: Q3091709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249727
@@ Property / cites work: Q4249727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406587
@@ Property / cites work: Q4406587 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively completely decomposable Abelian groups.
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Q3949039
@@ Property / cites work: Q3949039 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:306578