A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Logic Blog 2017
[article]
2018
arXiv
pre-print
The blog is somewhat shorter than in previous years, It contains new insights in a variety of areas, including computability, quantum algorithmic version of the SMB theorem, descriptions of groups (both discrete and profinite), metric spaces. There are also lots of open questions in computability, randomness, and computable model theory.
arXiv:1804.05331v1
fatcat:jd2h4ucvlbgmfcuhhx3ggj575u