[论文解读] Tame structures and open cores

Antongiulio Fornasiero|arXiv (Cornell University)|Mar 18, 2010

Advanced Topology and Set Theory参考文献 8被引用 8

一句话总结

本文研究可定义完备有序域扩张中的驯服性，引入并分析具有局部o-极小化开核和d-极小化结构的结构。研究证明d-极小化结构具有拓扑维数，且d-极小化结构的稠密对保留了关键的模型论性质，将o-极小化与d-极小化理论的结果推广至具有可定义Baire性质的更广泛结构类。

ABSTRACT

We study various notions of "tameness" for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.

研究动机与目标

• 将模型论驯服性理论从o-极小性推广至可定义完备有序域的扩张。
• 研究其开核为局部o-极小化或d-极小化结构的性质。
• 将o-极小化与d-极小化理论的结果推广至更广泛的结构类，特别是d-极小化结构的稠密对。
• 基于拓扑建立d-极小化结构的维数理论，类比于o-极小化维数。
• 证明可定义Baire结构支持关键的拓扑与模型论工具，如Baire范畴论证与可构造性。

提出的方法

• 使用可定义Baire性质及拓扑概念（内部、闭包、边界）分析有序域中的可定义集。
• 对有限维（fdim）应用归纳论证，证明可定义集的可构造性。
• 利用伪有限集与σ-紧致性分析可定义族及其投影。
• 引入局部闭集（lc）的概念，并利用其稠密性证明可构造性。
• 应用Sard引理与维数不等式控制可定义函数中临界集的大小。
• 使用Z-闭包与Cauchy完备化研究d-极小化结构的稠密对。

实验结果

研究问题

• RQ1 o-极小化结构的理论能否推广至开核为局部o-极小化的结构？
• RQ2 d-极小化结构是否具有基于拓扑的良好数学维数理论？
• RQ3 d-极小化结构的稠密对是否为初等等价子结构且保持驯服性质？
• RQ4 每个可定义完备结构是否满足Baire性质？
• RQ5 能否通过拓扑与可定义归纳法在d-极小化与局部o-极小化结构中建立可定义集的可构造性？

主要发现

• d-极小化结构具有推广了o-极小化维数的拓扑维数，使类似分析技术成为可能。
• d-极小化结构的稠密对被证明保留了关键的模型论性质，推广了o-极小化对的结果。
• 每个满足Baire性质的可定义完备结构均支持可定义范畴论框架，包括第一纲集与σ-compactness。
• d-极小化结构的开核本身是d-极小化的，而具有局部o-极小化开核的可定义完备结构的开核是a-极小化的。
• d-极小化与局部o-极小化结构中可定义集的可构造性，通过有限维上的归纳论证及局部闭集的拓扑稠密性得以确立。
• 可定义函数不连续的点集为第一纲集且σ-compact，从而在可定义函数分析中可应用Baire型论证。