逻辑博客 2020
逻辑
2021-01-26 v1
摘要
今年的博客聚焦于群论与逻辑及算法的联系。首篇帖子关于自动机可呈现群。随后有多篇与拓扑群相关的帖子，例如 Ivanov 与 Majcher 证明了 的闭子群的极端顺从性是一个 Borel 性质。Harrison-Trainor 与 Nies 的一篇帖子评述了 Segal 关于伪有限群的笔记，并尝试给出可有效计算版本。约 25% 的内容关于可计算性与随机性，特别是 Greenberg、Nies 与 Turetsky 关于 K-平凡集上弱于 Turing 的归约等价性，以及 Nies 与 Tomamichel 关于量子环境下的有效 SMB 定理。
引用
@article{arxiv.2101.09508,
title = {Logic Blog 2020},
author = {Andre Nies},
journal= {arXiv preprint arXiv:2101.09508},
year = {2021}
}