Effectively categorical abelian groups (Q2377433): Difference between revisions

@@ 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.jalgebra.2012.09.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2051202241
@@ Property / OpenAlex ID: W2051202241 / 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 @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Back and forth relations for reduced abelian \(p\)-groups
+Normal rank
@@ Property / cites work @@
+Bounding prime models
@@ Property / cites work: Bounding prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Describing free groups
@@ Property / cites work: Describing free groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348127
@@ Property / cites work: Q4348127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249724
@@ Property / cites work: Q4249724 / rank @@
+Normal rank
@@ Property / cites work @@
+ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS
@@ Property / cites work: ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and computability of certain torsion-free abelian groups
+Normal rank
@@ Property / cites work @@
+LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for torsion-free abelian groups is analytic complete
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity of computable structures
@@ Property / cites work: Degrees of categoricity of computable structures / 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 @@
+Q5609457
@@ Property / cites work: Q5609457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / 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 @@
+Subgroups of finitely presented groups
@@ Property / cites work: Subgroups of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+Order-computable sets
@@ Property / cites work: Order-computable sets / 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 @@
+Computable models of theories with few models
@@ Property / cites work: Computable models of theories with few models / rank @@
+Normal rank
@@ Property / cites work @@
+Limitwise monotonic sequences and degree spectra of structures
+Normal rank
@@ Property / cites work @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank
@@ Property / cites work @@
+Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis
+Normal rank
@@ Property / cites work @@
+Characterization of Recursively Enumerable Sets with Supersets Effectively Isomorphic to all Recursively Enumerable Sets
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537372
@@ Property / cites work: Q5537372 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
+Normal rank
@@ Property / cites work @@
+″-Categorical Completely Decomposable Torsion-Free Abelian Groups
+Normal rank
@@ Property / cites work @@
+Computable Ordered Abelian Groups and Fields
@@ Property / cites work: Computable Ordered Abelian Groups and Fields / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations and completely decomposable torsion-free abelian groups
+Normal rank
@@ Property / cites work @@
+Recursively enumerable vector spaces
@@ Property / cites work: Recursively enumerable vector spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity, speedable and levelable sets
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank