Pseudo completions and completions in stages of o-minimal structures

被引:1
|
作者
Tressl, Marcus [1 ]
机构
[1] Univ Regensburg, NWFI Math, D-8400 Regensburg, Germany
关键词
Primary 03C64; Primary 12J10; Primary 12J15; Secondary 13B35;
D O I
10.1007/s00153-006-0022-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
For an o-minimal expansion R of a real closed field and a set V of Th(R)-convex valuation rings, we construct a "pseudo completion" with respect to V. This is an elementary extension S of R generated by all completions of all the residue fields of the V epsilon V, when these completions are embedded into a big elementary extension of R. It is shown that S does not depend on the various embeddings up to an R-isomorphism. For polynomially bounded R we can iterate the construction of the pseudo completion in order to get a "completion in stages" S of R with respect to V. S is the "smallest" extension of R such that all residue fields of the unique extensions of all V epsilon V to S are complete.
引用
收藏
页码:983 / 1009
页数:27
相关论文
共 50 条