论某些拓扑格的强度
逻辑
2018-07-26 v1
摘要
我们研究自然出现在拓扑中的各种格（如闭（半线性、半代数或凸）集）的模型论强度。该方法基于弱单子二阶逻辑，并改进了 Grzegorczyk 先前的结果。我们也回答了 Grzegorczyk 关于“凸集代数”的一个问题。
引用
@article{arxiv.1609.07519,
title = {On the strength of some topological lattices},
author = {Marcus Tressl},
journal= {arXiv preprint arXiv:1609.07519},
year = {2018}
}