Logic Blog 2023-2024
Logic
2025-03-18 v1
Abstract
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.
Cite
@article{arxiv.2503.12673,
title = {Logic Blog 2023-2024},
author = {Andre Nies},
journal= {arXiv preprint arXiv:2503.12673},
year = {2025}
}