A criterion for uniform finiteness in the imaginary sorts
A criterion for uniform finiteness in the imaginary sorts
复制标题
虚数排序中一致有限性的判据
DOI：
10.1007/s00153-021-00803-5
复制
发表时间：
2021
影响因子：
0.3
通讯作者：
Johnson, Will
中科院分区：
文献类型：
--
作者：
Johnson, Will
让它成为一个理论。如果T消除，它不需要遵循thateliminates，如p-adics的例子所示。我们给出了一个判断是否存在的标准。具体来说，我们表明，thateliminatesif和只有ifis消除所有可解释的“一元数组”。这一标准可适用于不知道完整描述的情况。作为一个应用，我们证明了当T是ACVF的C-极小扩张时，
LetTbe a theory. IfTeliminates, it need not follow thateliminates, as shown by the example of thep-adics. We give a criterion to determine whethereliminates. Specifically, we show thateliminatesif and only ifis eliminated on all interpretable sets of “unary imaginaries.” This criterion can be applied in cases where a full description ofis unknown. As an application, we show thateliminateswhenTis a C-minimal expansion of ACVF.
登录
查看更多内容
关于 o-极小性的变体
DOI：
10.1016/0168-0072(95)00037-2
发表时间：
1996
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
D. Macpherson;C. Steinhorn
通讯作者：
C. Steinhorn
刚性亚解析集的一维纤维
影响因子：
0.6
作者：
L. Lipshitz;Z. Robinson
通讯作者：
Z. Robinson
具有分析结构的有价值领域中的意外想象
DOI：
10.2178/jsl.7802100
发表时间：
2011
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
Deirdre Haskell;E. Hrushovski;D. Macpherson
通讯作者：
D. Macpherson
DOI：
10.1515/crelle.2006.066
发表时间：
2006
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
Deirdre Haskell;E. Hrushovski;D. Macpherson
通讯作者：
D. Macpherson
C-最小结构的细胞分解
DOI：
10.1016/0168-0072(94)90064-7
发表时间：
1994
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
Deirdre Haskell;D. Macpherson
通讯作者：
D. Macpherson