arXiv:2202.13643 [math.LO]AbstractReferencesReviewsResources
Logic Blog 2021
Published 2022-02-28Version 1
The blog has several entries on group theory interacting with computability and wider logic, several open questions, and an entry on undecidability in physics.
Related articles: Most relevant | Search more
arXiv:1804.05331 [math.LO] (Published 2018-04-15)
Logic Blog 2017
arXiv:2003.03361 [math.LO] (Published 2020-02-28)
Logic Blog 2019
arXiv:2001.02648 [math.LO] (Published 2020-01-08)
Sofic profiles of $S(ω)$ and computability