2023/02/23 by André Nies, Nies, Andre
Computer Science · Mathematics · #03D80 #22D05 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Group Theory (math.GR) #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2302.11853
openalex publication_date 2023/02/23 · openalex created_date 2023/02/25 · openalex updated_date 2026/07/28
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.