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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Semisimplicial and augmented semisimplicial modules are equivalent to chain-complex homotopy theories at localization and Quillen levels, while semicubical modules induce a Quillen adjunction but not equivalence due to an obstruction in augmented homology at degree -1.
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.
-
Combinatorial Models for Linear Homotopy Theories
Semisimplicial and augmented semisimplicial modules are equivalent to chain-complex homotopy theories at localization and Quillen levels, while semicubical modules induce a Quillen adjunction but not equivalence due to an obstruction in augmented homology at degree -1.