{"id":"arxiv/2605.14197","url":"https://arxiv.org/abs/2605.14197","tags":["math.LO","math.GR"],"score":0,"title":"Modal group theory","domain":"math.LO","source":"arxiv","authors":["Wojciech Aleksander Wołoszyn"],"reviews":0,"subject":"math.LO","summary":"I introduce modal group theory, in which we study the category of all groups, considering embeddability as providing a notion of modal possibility. Using HNN extensions and Britton's lemma, I demonstrate that the modal language of groups is more expressive than the first-order language of groups. I interpret the theory of true arithmetic in modal group theory, and show that, as sets of Goedel numbers, it is computably isomorphic to the modal theory of finitely presented groups. I answer an open question of Berger, Block, and Loewe by showing that the formulaic propositional modal validities…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-13","reactions":{}}