关于实闭域的$\aleph_{\alpha}$-饱和o-极小扩张的一个注记
逻辑
2016-03-22 v3
摘要
我们给出了一个多项式有界的实闭域（在任意基数的语言中）的o-极小扩张是-饱和的充要条件。这些条件用实闭域上自然赋值的值群、剩余域和伪柯西序列来表述。这是通过类型分析实现的，并引出了三分法。我们的刻画为使用广义幂级数域构造饱和模型提供了一种方法。
引用
@article{arxiv.1112.4078,
title = {A note on $\aleph_{\alpha}$-saturated o-minimal expansions of real closed fields},
author = {Paola D'Aquino and Salma Kuhlmann},
journal= {arXiv preprint arXiv:1112.4078},
year = {2016}
}
备注
Key words and phrases. natural valuation, value group, residue field, pseudo- Cauchy sequences, polynomially bounded o-minimal expansion of a real closed field, definable closure, dimension, saturation. To appear in Algebra and Logic volume 54 Issue 5 November 2015