Logic Blog 2017
Logic
2018-04-17 v1
Abstract
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.
Cite
@article{arxiv.1804.05331,
title = {Logic Blog 2017},
author = {Andre Nies},
journal= {arXiv preprint arXiv:1804.05331},
year = {2018}
}