×
卢·范登·德里斯;亚当·勒文伯格（Adam H.Lewenberg）。

\（T\）-凸性与驯服扩张。 （英语） Zbl 0856.03028号

J.塞姆。日志。 60，第1期，74-102（1995）.
设（T）是一个完备的o-极小理论，推广了实闭域理论。作者首先刻划了（T）的模型（mathfrak R）的凸子环（V），它是（mathbrak R）一些基本子结构的凸壳。然后他们研究了成对（（{mathfrak R}，V）的（T）（凸）理论，其中（mathfrac R}）是（T）的模型，（Vneq{mathfrak R}是（mathbrak R\）的一些基本子结构的凸壳。除其他外，他们证明了（T）（凸）允许量词消去，如果（T）允许并且是通用的。此外，他们还证明了\（T\）（凸）是完备的，并且在\（T\）是模型完备的情况下是模型完备的。作者接下来集中讨论了“驯服”扩展（{mathcal R}'\subset{mathcal-R}），其中（{mathcal R}'）是（T\）的模型（mathfrak R\）的一个基本子结构。如果对于每一个\（{\mathfrak R}’\）-有界\（{\tathfrak R}中的R）都存在一个（必然唯一的）\（R'\ in{\tath frak R{'），使得\（|R-R’|<\varepsilon\）对于\。然后，元素\（r'\）被称为\（r\）\（（r'=\text｛st｝（r））\）的“标准部分”。作者用（T）（tame）表示了这种三元组（（{mathfrak R}，{mathfrak R}'，text{st}）与（{math frak R{'neq{mathflak R{）的理论，并证明了与（T）类似的结果。
审核人：A.Prestel（康斯坦兹）

引用于7评论
引用于35文件

理学硕士：

03元52分 模型类的属性
12升12 场的模型理论
03C60型 模型理论代数
03C10号机组 量词消除、模型完整性和相关主题
03C35号 理论的分类和完整性
12月10日 有值字段
12月15日 有序字段

关键词：

凸子结构;o极小理论;实闭域;量词消去法
PDF格式BibTeX公司 XML格式引用
\textit｛L.van den Dries｝和\textit｛A.H.Lewenberg｝，J.Symb。日志。60，编号1，74--102（1995；Zbl 0856.03028）
全文： 内政部

参考文献：

[1] Einführung in die Mathematische Logik und Modeltheorie（1986）·Zbl 0616.03001号
[2] 美国数学学会会刊
[3] 关于限制初等函数的初等理论53 pp 796–（1988）
[4] 内政部：10.1090/S0273-0979-1986-15468-6·Zbl 0612.03008号 ·doi:10.1090/S0273-0979-1986-15468-6
[5] 可定义Skolem函数的代数理论49 pp 625–（1984）
[6] 内政部：10.2307/1971463·Zbl 0693.14012号 ·doi:10.2307/1971463
[7] 内政部：10.1016/0168-0072（83）90019-2·Zbl 0538.03028号 ·doi:10.1016/0168-0072（83）90019-2
[8] 《实代数几何学报》（Rennes，1991）第145页–（1992）
[9] 内政部：10.1090/conm/155/01374·doi:10.1090/conm/155/01374
[10] 内政部：10.1016/0168-0072（91）90028-K·Zbl 0756.03018号 ·doi:10.1016/0168-0072（91）90028-K
[11] 内政部：10.1090/S0002-9947-1986-0833697-X·网址：10.1090/S0002-9947-1986-0833697-X
[12] DOI:10.1016/0168-0072（94）90048-5·Zbl 0823.03018号 ·doi:10.1016/0168-0072（94）90048-5
[13] o-极小理论中的可定义类型59 pp 185–（1994）
[14] 内政部：10.1090/S0002-9947-1986-0833698-1·doi:10.1090/S0002-9947-1986-0833698-1
[15] DOI:10.1007/BF02758635·Zbl 0823.03017号 ·doi:10.1007/BF02758635
[16] 数学年鉴85第19页–（1994）
[17] 美国数学学会杂志
[18] 关于Dedekind完备O-最小结构52 pp 156–（1987）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。