arXiv
Open Access
2025
Logic Blog 2023-2024
Andre Nies
Abstrak
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.
Topik & Kata Kunci
Penulis (1)
A
Andre Nies
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2025
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓