arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1609.07519math.LO
收藏

关于某些拓扑格的强度

On the strength of some topological lattices

Marcus Tressl

摘要:

我们研究了拓扑中自然发生的各种格的模型理论强度,如封闭(半线性或半代数或凸)集。该方法是基于弱一元二阶逻辑和锐化以前的结果Grzegorczyk。我们还回答了一个问题Grzegorczyk的'代数凸集'。

英文摘要:

We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by Grzegorczyk. We also answers a question of Grzegorczyk on the 'algebra of convex sets'.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑