[论文解读] Expansions of the reals which do not define the natural numbers

Antongiulio Fornasiero|arXiv (Cornell University)|Apr 9, 2011

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

一句话总结

本文研究不定义自然数的实数的一阶扩张，聚焦于 i-极小结构与受限结构。证明了三种良态条件——具有内部或为处处无处稠密、为零测度，或为豪斯多夫维数零——的等价性，从而证明 i-极小性蕴含可定义集的良好维数与可测性。

ABSTRACT

We study first-order expansions of the reals which do not define the set of natural numbers. We also show that several stronger notions of tameness are equivalent to each others.

研究动机与目标

• 刻画不定义自然数的实数扩张，聚焦于模型论中的良态性。
• 厘清不同良态概念之间的关系，如 i-极小性、d-极小性与受限结构。
• 研究受限结构——即可定义离散集在可定义函数下的像为处处无处稠密——是否要么定义 N，要么为 i-极小。
• 探索受限结构中是否存在具有良好行为的维数函数，且满足标准维数公理。
• 考察受限结构中的病态现象，包括不可测集与非投影集的可定义性。

提出的方法

• 使用模型论中的良态性定义：i-极小性（R 中的可定义集要么具有内部，要么为处处无处稠密），d-极小性（可定义集为离散集的有限并），以及受限性（可定义函数下离散集的像为处处无处稠密）。
• 应用拓扑与测度论工具：勒贝格测度、豪斯多夫维数，以及“几乎开集”的概念。
• 运用开核概念及其与 o-极小性的关系，尤其关注具有 o-极小开核的扩张。
• 利用 o-极小性与 tame 几何中的已知结果，包括维数公理与可定义函数的性质。
• 借助 Miller（2005）与 Hieronymi（2010）的定理，推导出 N 的可定义性与结构良态性之间的蕴含关系。
• 分析可定义集上可定义函数的性质，证明单调可定义函数在闭的处处无处稠密集外为 C¹。

实验结果

研究问题

• RQ1 可定义子集 R 的 i-极小性、零测度性与豪斯多夫维数零是否等价？
• RQ2 每个受限的实数扩张是否要么定义自然数，要么为 i-极小？
• RQ3 在受限结构中能否存在一个具有良好行为的维数函数，满足标准维数公理？
• RQ4 受限结构中是否存在不可勒贝格测度或非投影的可定义集？
• RQ5 受限结构的开核是否仍为 i-极小？

主要发现

• 定理 1.1 建立了三种良态条件的等价性：R 的每个可定义子集要么具有内部，要么为处处无处稠密，或为零测度，或为豪斯多夫维数零。
• 定理 1.3 表明，在 i-极小结构中，每个非空可定义集均为勒贝格可测、几乎开，且其豪斯多夫维数等于其在正交投影意义下的维数。
• 定理 1.4（由 C. Miller 提出）指出，若一个 o-极小结构被一个零维闭集扩张，则所得结构要么定义 N，要么其扩张为 i-极小。
• 事实 1.7 建立了一个二分法：一个结构要么定义 N，要么为受限结构，表明受限性是避免定义 N 的必要条件。
• 推论 1.8 表明，若一个结构的理论是可判定的，则其必为受限结构，但其逆命题不成立。
• 本文提供了受限结构的例子，其中可定义出不可测集或非投影集，表明即使在测度论行为病态的情况下，此类结构在模型论意义上仍可保持良态。