The Theory of Abelian Groups With the Quantifier (≦ x)

DOI10.1002/MALQ.19770232711zbMath0441.03009OpenAlexW2097056300MaRDI QIDQ3882440

Andreas Baudisch

Publication date: 1977

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19770232711

zbMATH Keywords

generalized quantifiers

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Logic with extra quantifiers and operators (03C80) Torsion-free groups, finite rank (20K15) Abelian groups (20K99)

Related Items (3)

The Härtig quantifier: a survey ⋮ Solubility of theories in a certain calculus ⋮ Some theorems in generalized calculuses

This page was built for publication: The Theory of Abelian Groups With the Quantifier (≦ x)