Logic Blog 2022
Logic
2023-02-24 v1 Group Theory
Abstract
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.
Keywords
Cite
@article{arxiv.2302.11853,
title = {Logic Blog 2022},
author = {Andre Nies},
journal= {arXiv preprint arXiv:2302.11853},
year = {2023}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2204.09878