2025/03/16 by André Nies, Nies, Andre
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2503.12673
openalex created_date 2021/02/01 · openalex publication_date 2025/03/16 · openalex updated_date 2026/07/28
The logic blogs 2023 and 2024 have been joined. The present file contains a lot on particular classes of groups and their relationship with logic, as well as entries on ergodic theory and on foundations. There is also a bit on AI proving at the end.