Invariant types in dp-minimal theories

Invariant types in dp-minimal theories
复制标题

dp 极小理论中的不变类型

DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Pierre Simon
Pierre Simon
中科院分区：
--
文献类型：
--
作者：
Pierre Simon

文献摘要

被引文献

相似文献

我们尝试根据有限令人满意且可定义的理论分析DP最低理论中的一般不变类型。我们特别证明了不变的DP最低型类型是有限的或可定义的，并且（P，Q）Theorem的可定义版本在小型或中等方向性的DP最低理论中。在带有Sergei Starchenko的附录中，我们证明在具有Skolem函数的DP最低理论中，每个非配饰公式都扩展到可定义的类型。
We try to analyse general invariant types in dp-minimal theories in terms of finitely satisfiable and definable ones. We prove in particular that an invariant dp-minimal type is either finitely satisfiable or definable and that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium directionality. In an appendix with Sergei Starchenko, we prove that in dp-minimal theories with Skolem functions, every non-forking formula extends to a definable type.