关于某些拓扑格的强度
On the strength of some topological lattices
摘要:
我们研究了拓扑中自然发生的各种格的模型理论强度,如封闭(半线性或半代数或凸)集。该方法是基于弱一元二阶逻辑和锐化以前的结果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分析而来,可能存在错误,请以论文正文为准。