Pages that link to "Item:Q5847174"
From MaRDI portal
The following pages link to Elementary properties of Abelian groups (Q5847174):
Displayed 50 items.
- The number of \(P\)-expansions of abelian groups (Q384401) (← links)
- Measurability in modules (Q403409) (← links)
- Infinitary equivalence of \(\mathbb{Z}_p\)-modules with nice decomposition bases (Q412550) (← links)
- Groups elementarily equivalent to a free 2-nilpotent group of finite rank. (Q431679) (← links)
- Bounding essential arities of term operations in finitely decidable varieties (Q494631) (← links)
- Free abelian lattice-ordered groups (Q556825) (← links)
- What languages have Tarski truth definitions? (Q598271) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Krull dimension of solvable groups. (Q619033) (← links)
- Groups elementarily equivalent to a free nilpotent group of finite rank (Q639689) (← links)
- Classifying \(\aleph_ 0\)-categorical theories (Q752693) (← links)
- Formularity of sets of Mal'tsev bases, and elementary theories of finite- dimensional algebras. II (Q788112) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- Decidability of the theory of modules over commutative valuation domains (Q866569) (← links)
- \(P\)-stable abelian groups (Q893082) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Totally \(P\)-stable abelian groups (Q904318) (← links)
- Locally pure topological Abelian groups: Elementary invariants (Q1055767) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Model theory of modules (Q1076118) (← links)
- Tensor products of modules and elementary equivalence (Q1077410) (← links)
- On the computational complexity of the theory of Abelian groups (Q1100188) (← links)
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
- Minimal and prime models of complete theories of torsion free abelian groups (Q1137034) (← links)
- Axiomatizability of radical and semisimple classes of modules and Abelian groups (Q1173161) (← links)
- A group in a group (Q1174075) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup (Q1204113) (← links)
- Nonaxiomatizability of directionally ordered groups in the class of nontrivially partially ordered groups (Q1212486) (← links)
- Complexity classes of partial recursive functions (Q1221487) (← links)
- Ranks and definability in superstable theories (Q1225615) (← links)
- Sur les homomorphismes d'hypergroupes (Q1226511) (← links)
- Operations on elementary classes of groups (Q1226589) (← links)
- Infinitary model theory of Abelian groups (Q1233870) (← links)
- Elimination of quantifiers for modules (Q1236527) (← links)
- Wanda Szmielew 1918-1976 (Q1247846) (← links)
- Some model theory over hereditary Noetherian domains (Q1279823) (← links)
- On the theories of free solvable groups (Q1295586) (← links)
- An undecidability theorem for lattices over group rings (Q1377645) (← links)
- Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties (Q1586995) (← links)
- Independence and freedom (Q1684197) (← links)
- Universal invariants for classes of abelian groups (Q1688177) (← links)
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- Elementary equivalence of partially commutative Lie rings and algebras (Q1703272) (← links)
- What does a group algebra of a free group ``know'' about the group? (Q1709682) (← links)
- Theories of relatively free solvable groups with extra predicate (Q1731523) (← links)
- Scott sentences for certain groups (Q1745362) (← links)
- Cancellativity in finitely presented semigroups (Q1824041) (← links)
- Two remarks on the first-order theories of Baumslag-Solitar groups (Q1937744) (← links)