arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1707.03486math.LO
收藏

有界预几何与域对

Bounded pregeometries and pairs of fields

Leonardo Angel, Lou van den Dries

摘要:

一对(K,k)代数闭域中的可定义集合相对于该对的子域k是可共解析的当且仅当它几乎在k的内部。为了证明这一点以及实封闭的域的驯服对的一些相关结果,我们引入了这种对的某种有界预几何。

英文摘要:

A definable set in a pair (K, k) of algebraically closed fields is co-analyzable relative to the subfield k of the pair if and only if it is almost internal to k. To prove this and some related results for tame pairs of real closed fields we introduce a certain kind of bounded pregeometry for such pairs.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑