逻辑博客2016
逻辑
2017-03-10 v2
摘要
本年度的逻辑博客包含了多种结果，其中一些仅在此处提供。亮点包括Monin对Gamma问题的解决，以及关于拓扑群理论及其与逻辑联系的若干条目。还有Yu对Harrington 1978年结果的一个新证明，该结果指出具有完美子集的Pi-11超度集合包含一个上锥。此外，还有相当多的逆数学内容，包括它与随机性的联系，以及在此背景下Hindman定理的变体。
引用
@article{arxiv.1703.01573,
title = {Logic Blog 2016},
author = {Andre Nies},
journal= {arXiv preprint arXiv:1703.01573},
year = {2017}
}