Logic Blog 2022
| Autor: | Nies, Andre |
|---|---|
| Rok vydání: | 2023 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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. Comment: arXiv admin note: substantial text overlap with arXiv:2204.09878 |
| Databáze: | arXiv |
| Externí odkaz: |
|