Modal logic via group homomorphisms defines cyclic subgroup membership, cyclicity, torsion, and finite generation; the homomorphic modal theory of finitely presented groups is computably isomorphic to true arithmetic.
Hanna Neumann
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Modal group theory: homomorphisms
Modal logic via group homomorphisms defines cyclic subgroup membership, cyclicity, torsion, and finite generation; the homomorphic modal theory of finitely presented groups is computably isomorphic to true arithmetic.