Elementary properties of Abelian groups
From MaRDI portal
Publication:5847174
DOI10.4064/fm-41-2-203-271zbMath0064.00803OpenAlexW296038034WikidataQ115616589 ScholiaQ115616589MaRDI QIDQ5847174
Publication date: 1955
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213354
Related Items
Model theory of modules, Abelian \(C\)-minimal valued groups, Tensor products of modules and elementary equivalence, Unnamed Item, Canonical and existential groups in universal classes of abelian groups, An equational logic sampler, Definable groups in dense pairs of geometric structures, On the computational complexity of the theory of Abelian groups, Co-elementary equivalence for compact Hausdorff spaces and compact abelian groups, CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS, Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures, Some general incompleteness results for partial correctness logics, Decidability of the theory of modules over commutative valuation domains, Sheaf Constructions and Their Elementary Properties, What languages have Tarski truth definitions?, Algorithmic uses of the Feferman-Vaught theorem, An undecidability theorem for lattices over group rings, On boolean functions and connected sets, Varieties with decidable finite algebras. I: Linearity, The number of \(P\)-expansions of abelian groups, On algebraic-geometric and universal theories of abelian groups, Independence and freedom, Minimal and prime models of complete theories of torsion free abelian groups, Krull dimension of solvable groups., Measurability in modules, Universal invariants for classes of abelian groups, \(P\)-stable abelian groups, Elementary equivalence and direct product decompositions of partially commutative groups of varieties, Two remarks on the first-order theories of Baumslag-Solitar groups, Multi-sorted logic and logical geometry: some problems., Infinitary equivalence of \(\mathbb{Z}_p\)-modules with nice decomposition bases, Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups, Regular bi-interpretability of Chevalley groups over local rings, Algebraic and logical aspects of unification, The Diophantine problem in some metabelian groups, Totally \(P\)-stable abelian groups, On hypergraphs of minimal and prime models of theories of abelian groups, Tarski-type problems for free associative algebras, Groups elementarily equivalent to a free 2-nilpotent group of finite rank., Elementary equivalence of partially commutative Lie rings and algebras, Groups elementarily equivalent to a free nilpotent group of finite rank, What does a group algebra of a free group ``know about the group?, Axiomatizability of radical and semisimple classes of modules and Abelian groups, A group in a group, Theories of relatively free solvable groups with extra predicate, Elementary equivalence in Artin groups of finite type, FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS, Bounding essential arities of term operations in finitely decidable varieties, Formulas and properties for families of theories of abelian groups, The Schröder-Bernstein property for 𝑎-saturated models, Scott sentences for certain groups, Elementary equivalence vs. commensurability for hyperbolic groups, Generic expansions by a reduct, A field guide to equational logic, Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup, Hyperbolicity and cubulability are preserved under elementary equivalence, One-dimensional asymptotic classes of finite structures, Nonaxiomatizability of directionally ordered groups in the class of nontrivially partially ordered groups, Free abelian lattice-ordered groups, Complexity classes of partial recursive functions, Ranks and definability in superstable theories, Sur les homomorphismes d'hypergroupes, Operations on elementary classes of groups, Ranks for families of theories of abelian groups, Infinitary model theory of Abelian groups, Elimination of quantifiers for modules, THE DP-RANK OF ABELIAN GROUPS, Wanda Szmielew 1918-1976, Divisible multiplicative groups of fields, On the decision problem for theories of finite models, Decompositions of decidable abelian groups, Canonical and algebraically closed groups in universal classes of abelian groups, Generalized Archimedean Groups, Classifying \(\aleph_ 0\)-categorical theories, Random Subgroups of Rationals, Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup, Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup, Some model theory over hereditary Noetherian domains, Cancellativity in finitely presented semigroups, On decidability and axiomatizability of some ordered structures, Decidability and modules over Bézout domains, Elementary Properties of Ordered Abelian Groups, Undecidability of the Theory of Abelian Groups with a Subgroup, On the theories of free solvable groups, Formularity of sets of Mal'tsev bases, and elementary theories of finite- dimensional algebras. II, Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties, A Characterization of Finitely Decidable Congruence Modular Varieties, Locally pure topological Abelian groups: Elementary invariants, \(P\)-spectra of abelian groups, Model-theoretic and algorithmic questions in group theory, Tarski’s problem about the elementary theory of free groups has a positive solution, Combinatorial Functions and Indecomposable Cardinals, A portrait of Alfred Tarski, Generic theories for series of finite abelian groups
