van den Dries的问题和Lipshitz和Robinson的定理：并非一切都是标准的
摘要：对于范德德里斯关于任意o-最小实闭域扩张和实数结构之间关系的问题，我们利用Lipshitz和Robinson的新构造来回答。我们写出一个一阶句子，在Lipshitz-Robinson结构中为真，但在任何对实数域的可能解释中均为假。
作者：Ehud Hrushovski, Ya'acov Peterzil
论文ID：math/0509658
分类：Logic
分类简称：math.LO
提交时间：2007-05-23