Logic Blog 2023-2024

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.

References in corpus (5)

• Generic representations of abelian groups and extreme amenability
• Generators and commutators in finite groups; abstract quotients of compact groups
• On Følner sets in topological groups
• Topological matchings and amenability
• Computing from projections of random points: a dense hierarchy of subideals of the $K$-trivial degrees