The elementary theory of abelian groups
From MaRDI portal
Publication:5661866
DOI10.1016/0003-4843(72)90013-7zbMath0248.02049OpenAlexW2092937228WikidataQ64114709 ScholiaQ64114709MaRDI QIDQ5661866
Publication date: 1972
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(72)90013-7
Decidability of theories and sets of sentences (03B25) Abelian groups (20K99) Other classical first-order model theory (03C68)
Related Items
Model theory of modules, Tensor products of modules and elementary equivalence, Recursively presented Abelian groups: Effective p-Group theory. I, The model theory of unitriangular groups, Quasiunitriangular groups, ON POSITIVE THEORIES OF GROUPS WITH REGULAR FREE LENGTH FUNCTIONS, \(\omega\)-stable structures of small CB-rank, On Algebraically Compact Λ-Modules, On the computational complexity of the theory of Abelian groups, Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence), On the model theory of the ring \(\mathrm{NT}(n,R)\), Decidability of the theory of modules over commutative valuation domains, Cancellation and absorption of lexicographic powers of totally ordered Abelian groups, An undecidability theorem for lattices over group rings, Varieties with decidable finite algebras. I: Linearity, Minimal and prime models of complete theories of torsion free abelian groups, Direct products and elementary equivalence of polycyclic-by-finite groups., A note on torsion modules with pure embeddings, On hypergraphs of minimal and prime models of theories of abelian groups, Groups elementarily equivalent to a free 2-nilpotent group of finite rank., Groups elementarily equivalent to a free nilpotent group of finite rank, Infinite groups, ℵ0-categorical modules, Theories of relatively free solvable groups with extra predicate, Bounding essential arities of term operations in finitely decidable varieties, Formulas and properties for families of theories of abelian groups, Totally transcendental theories of unars, Finite images and elementary equivalence of completely regular inverse semigroups, A natural theory without a prime model, A note on the elementary theory of finite abelian groups, Ranks for families of theories of abelian groups, Infinitary model theory of Abelian groups, Theory of Abelian groups with constructive models, Elimination of quantifiers for modules, THE DP-RANK OF ABELIAN GROUPS, Complete first-order theories of some classical matrix groups over algebraic integers, Direct product decomposition of theories of modules, Model-companions and definability in existentially complete structures, Model theory of proalgebraic groups, Relative categoricity in abelian groups. II, Strongly Minimal Modules Over Group Rings, Defining Multiplication in Some Additive Expansions of Polynomial Rings, On models of the elementary theory of (Z, +, 1), Classification theory for abelian groups with an endomorphism, Some model theory over hereditary Noetherian domains, Decidability and modules over Bézout domains, \(\aleph_0\)-categoricity of groups, Non-∀-homogeneity in free groups, An application of ramsey’s theorem to groups with homogeneous theory, Algebraic description of limit models in classes of abelian groups, Locally pure topological Abelian groups: Elementary invariants, Undecidable Lt theories of topological abelian groups, Model-theoretic and algorithmic questions in group theory, ∑–pure—injective modules over a commutative prüfer ring, Stability and General Logics, Preservation of saturation and stability in a variety of nilpotent groups
