{"id":"arxiv/2605.15169","url":"https://arxiv.org/abs/2605.15169","tags":["math.LO","math.GR"],"score":0,"title":"Modal group theory: homomorphisms","domain":"math.LO","source":"arxiv","authors":["Wojciech Aleksander Wołoszyn"],"reviews":0,"subject":"math.LO","summary":"I investigate modal group theory for arbitrary homomorphisms. Possibility is interpreted by the existence of a group homomorphism out of the given group, so the semantics is governed by the possibility of collapse: elements may be identified, parameters may be killed, and new relations may hold in the target. I show that the modal language nevertheless expresses cyclic subgroup membership, subgroup generation by a fixed finite tuple, cyclicity, finite generation by a fixed number of elements, and torsion. I use these definability results to interpret arithmetic, and prove that, as sets of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}