可定义完备有序域扩张的一个基本二分法
逻辑
2016-01-19 v2
摘要
一个可定义完备域的扩张要么定义了一个离散子环，要么可定义映射下可定义离散集的像无处稠密。作为应用，我们证明了 Lebesgue 微分定理的一个可定义版本。
引用
@article{arxiv.1305.4767,
title = {A fundamental dichotomy for definably complete expansions of ordered fields},
author = {Antongiulio Fornasiero and Philipp Hieronymi},
journal= {arXiv preprint arXiv:1305.4767},
year = {2016}
}