关于驯顺性、可测性与独立性质
逻辑
2025-07-01 v2
摘要
在tame几何领域，不同的模型论驯顺条件被建立并分析其关系。我们构造了一个实数的子域K，该子域缺乏若干此类驯顺性质。作为主要结果，我们给出了环语言中的一个一阶公式，该公式在K中定义了一个非Borel集。此外，K具有独立性质，并同时容许阿基米德序和非阿基米德序。
引用
@article{arxiv.2506.08733,
title = {On Tameness, Measurability and the Independence Property},
author = {Lothar Sebastian Krapp and Matthieu Vermeil and Laura Wirth},
journal= {arXiv preprint arXiv:2506.08733},
year = {2025}
}
备注
19 pages