Logic Blog 2022

The 2022 logic blog has concentrated on the connections of group theory and logic. It discusses Gardam’s 2021 refutation of the Higman/ Kaplansky unit conjecture, and its connections to logic and to computation. The rest is about topological groups of various kinds, in particular a computational theory of tdlc groups, and a duality between locally Roelcke precompact groups and certain countable structures called meet groupoids.