A definable $(p,q)$-theorem for NIP theories
我们证明了一个可定义的版本Matoušek的$(p,q)$ -定理在NIP理论。这回答了Chernikov和Simon的一个问题。我们还证明了一个统一的版本。证明建立在证明Boxall和Kestner谁证明了这一定理在远端的情况下，利用概念的局部可压缩类型出现在工作的作者与贝斯和西蒙。
2022-12-24 math.LO
Indiscernibles in monadically NIP theories
本文研究了单形NIP理论中不可区分元素的性质，证明了平面图的distal扩展结果，并指出没有单形NIP理论能解释无限群。
2025-07-26 math.LO
Naming an indiscernible sequence in NIP theories
在这篇短文中，我们证明了，如果我们在一个依赖理论中为一个稠密的完全不可分辨序列添加谓词，那么结果仍然是依赖的。这回答了鲍德温和贝内迪克特的一个问题，并意味着每一个不稳定的相关理论都有一个解释线性序的相关展开。
2009-06-15 math.LO
On some dynamical aspects of NIP theories
我们研究了模型论中自同构作用的一些动力学方面，特别是在不变测度存在的情况下。我们给出了NIP理论在自同构动力学和不变测度方面的一些刻画，例如在紧系统，熵和测度代数方面。此外，我们研究了模型的符号表示的概念。其中，我们用符号表示的方法给出了分割线和组合构形的独立性、序性和严序性等特征。
2015-04-29 math.LO
Exact saturation in simple and NIP theories
一个理论$T$被称为在奇异基数$κ$处具有精确饱和，如果它有一个$κ$饱和模型，而这个模型不是$κ^{+}$饱和的.我们表明，在一些集合论的假设下，任何简单的理论有确切的饱和。此外，NIP理论有精确饱和当且仅当它不是远端的。这给出了一个新的远端特性。
2015-10-09 math.LO
Distal and non-distal NIP theories
我们研究的一种方式，其中稳定的现象可以存在于NIP理论。我们首先定义了一个概念的“纯不稳定性”，我们称之为“远端”，其中没有这样的现象发生。例如，O-极小理论和p-adics是远端的。接下来，我们试图了解当远端失效时会发生什么。给定一个充分饱和模型上的类型p，在某种意义上，我们提取p的稳定部分，并定义了一个稳定独立的概念，它隐含于非分叉中，且具有有界权。作为一个应用程序，我们表明，外部可定义的集从一些足够的不可辨别的序列的痕迹的模型的扩展消除量词。
2012-10-27 math.LO
Definable and invariant types in enrichments of NIP theories
设T是一个NIP L-理论，T'是一个增广。我们给出了T'上的一个充分条件，使得T'的模型上的任何可定义（相应不变）类型的底层L-型可定义（相应不变）为L-型.此外，我们概括了西蒙和Starchenko的工作中的非分叉类型的可定义类型的密度到这个相对的设置。这些结果，然后应用到Scanlon的模型完成值的微分领域。
2016-12-07 math.LO
Forking and invariant types in monadic NIP theories
University of Maryland（马里兰大学）
本文在一元NIP理论中证明不变全局类型的强分解定理，并由此得出分叉的逐坐标判据及可定义类型的稠密性。
2026-09-23 math.LO
Smooth measures and the canonical retraction in NIP theories
本文将Simon关于NIP理论中典范收缩的结果从类型推广到测度，并利用光滑测度构造了测度上的典范收缩，证明其与Simon的构造一致。
2024-01-13 math.LO
Maximal stable quotients of invariant types in NIP theories
本文证明了NIP理论中不变类型的实现集上存在最精细的相对类型可定义等价关系且具有稳定商，该结论是已有关于类型可定义群极大稳定商结果的对应物。
2023-10-19 math.LO
A note on transfer maps and the Morley product in NIP theories
本文在NIP理论中研究转移映射与Morley积的可交换性，证明有限可满足测度下二者可交换，并刻画类型对情形，最后简要观察Ellis半群。
2024-02-08 math.LO
Forking in monadically NIP theories
本文证明单子NIP理论中分叉在任意集合上满足强平凡性，推广了Baldwin-Shelah结果，并给出无有限扩展基的ω-范畴例子。
2026-09-23 cs.LO math.LO
On minimal flows and definable amenability in some distal NIP theories
研究了可定义群作用于其型空间的可定义拓扑动力学$(G(M), S_G(M))$，其中$M$是$o$ -极小结构或$p$ -基本闭域，$G$是可定义顺从群.我们专注于Neweslki提出的问题是否弱泛型类型符合几乎周期性的类型，表明答案是肯定的，当$G$有界许多全球弱泛型类型。我们还给出了两个“最小的反例”，其中$G$有无限多的全球弱泛型类型，扩展的主要结果“最小流，可定义的顺从组，O-极小”到一个更一般的情况下。
2023-02-11 math.LO
Wild theories with o-minimal open core
设$T$是稠密序群理论的相容o-极小理论，$T'$是相容理论.然后是一个完整的理论$T^*$，它扩展了$T$，使得$T$是$T^*$的一个开放核，但$T^*$的每个模型解释了$T'$的一个模型。如果$T'$是NIP，则也可以选择$T^*$作为NIP。从这一点，我们推导出存在一个NIP展开的实场，没有远端的扩展。
2017-10-06 math.LO
Generically stable and smooth measures in NIP theories
研究了不具有独立性的一阶理论中的类稳定行为。我们介绍了一般稳定的措施，给characterizatiions，并显示其普遍性。我们还介绍了一般紧控制。我们还证明了任意Borel概率测度在实数域和p-adic域中的可定义集上的近似可定义性。
2010-02-25 math.LO math.PR
Spectral Spaces in o-minimal and other NIP theories
本文利用谱拓扑研究NIP理论，在o-极小情形建立谱空间与实谱及无穷小类型的联系，并证明可定义紧致群的闭点空间同胚于无穷小类型空间；对任意NIP结构引入诚实拓扑，使不变类型集成为正规谱空间，其收缩与Simon的$F_M$收缩一致。
2024-03-13 math.LO
Some NIP-like phenomena in NTP$_{2}$
本文研究了NTP₂中的NIP-like现象，提出了NTP₂-光滑度量和distality概念，并探讨了有限交替定理及有限可满足性在NTP₂中的扩展问题。
2025-11-21 math.LO
Characterization of NIP theories by ordered graph-indiscernibles
我们推广了\citep{sh78}中稳定理论的不稳定公式定理的特征：只要$T$模型中的无穷不可分辨序列是不可分辨集，理论$T$就是稳定的.我们使用来自\citep{sh78}的不相容项的广义形式：在我们的符号中，来自$L$ -结构$M$的参数序列$(b_i : i \in I)$，由$L'$ -结构$I$索引，如果qftp $^{L'}(\ov{i};I)$ =qftp $^{L'}(\ov{j};I)$意味着对于来自$I$的所有相同长度的有限$\ov{i}, \ov{j}$，tp $^L(\ov{b}_{\ov{i}}; M)$ = tp $^L(\ov{b}_{\ov{j}};M)$，则为\emph{$L'$-generalized indiscernible in $M$}。令$T_g$为带有签名$L_g=\{<, R\}$的语言中的线性有序图（对称的，没有循环）的理论。令$\K_g$是$T_g$的所有有限模型的类。我们表明，一个理论$T$有NIP当且仅当任何$L_g$ -广义不可辨别的$T$模型索引的$L_g$ -结构与年龄等于$\K_g$是一个不可辨别的序列。
2011-06-28 math.LO
External definability and groups in NIP theories
证明了NIP理论中可定义群的许多性质和不变量，如可定义顺从性、G/G^{00}等，当通过模型M的外部可定义集合M^{ext}传递到谢拉展开理论时，根据这些结果，我们继续研究的“可定义的拓扑动力学”的团体在NIP理论。特别地，我们证明了埃利斯群猜想的埃利斯群G/G^{00}在一些新的情况下，包括可定义的顺从群在o-极小结构。
2014-02-26 math.DS math.GR math.LO
Externally definable sets and dependent pairs II
我们继续研究NIP理论中的外部可定义集合的结构以及通过新谓词扩展后的NIP的保持。最重要的是：有限集上的类型是一致可定义的;在模型上，公式的非分叉实例族（参数范围在一个类型可定义的集合上）可以被许多不变类型所覆盖;我们给出了在远端理论中由一个新谓词展开的有界性的一些准则;命名一个任意小的不可辨别序列保留NIP，而命名一个大的序列则不保留;有一些NIP理论模型，在这些模型上，所有的1型都是可定义的，但不是所有的n型都是可定义的。
2012-02-13 math.LO
Externally definable fsg groups in NIP theories
本文证明NIP结构中外部可定义的fsg群与可解释群可定义同构，利用诚实定义与群块重构方法，并推广了外部可定义集合与群的相关结果，包括证明Eleftheriou猜想。
2025-06-29 math.GR math.LO
On generically stable types in dependent theories
我们发展了一般稳定类型理论、基于非分叉的独立关系理论和依赖理论背景下的稳定权理论。
2008-02-01 math.LO
Trace definability IV: higher arity notions
本文引入了k-迹可定义性概念，证明了k-迹可定义于NIP理论的理论是k-NIP，且2-迹可定义于稳定理论的理论是2-NFOP。所有已知的k-NIP理论都可以k-迹可定义于NIP理论中，并构造了通用理论D_k(T)。
2026-05-19 math.LO
Worst case expansions of complete theories
给定一个完整的理论$T$和一个子集$Y \subseteq X^k$，我们精确地确定了{ \em最坏情况复杂度}，关于进一步的一元展开，由$Y$的一个模型$M$的$T$与论域$X$的扩展$(M,Y)$。特别是，虽然根据定义一元稳定/NIP理论是强大的任意一元扩展下，我们表明，一元NFCP（等价，相互代数）理论是最大的一类，是强大的任何超越一元扩展。我们还展示了一个范式的结构，每个一元NFCP/稳定/NIP的失败，并证明这些范式中的每一个可定义地嵌入到一个充分饱和模型的一元扩展的任何理论没有相应的属性。
2022-06-12 math.LO
Distality Rank
建立在皮埃尔西蒙的概念远，我们引入远秩作为一阶理论的属性，并给出每个秩$m$的例子，使$1\leq m \leq ω$。对于NIP理论，我们证明了远距秩在碱基变化下是不变的。我们还定义了一个推广的类型正交称为$m$ -确定性，并表明，理论的远距离秩$m$需要某些产品是$m$ -确定的。此外，对于NIP理论，这种行为表征了$m$ -远端性。如果我们把范围缩小到稳定理论，我们观察到$m$ -远端性可以用分叉“几何”中的最大圈大小来表征，因此它与$(m-1)$ -平凡性相一致。在更广泛的范围内，我们看到，$m$ -远端是加强撒哈拉希拉的$m$ -依赖的概念。
2021-10-25 math.LO
Dependent measures in independent theories
本文提出Keisler测度的依赖性概念，将NIP理论中一般稳定测度的结果推广到任意理论，并证明依赖测度刻画Glivenko-Cantelli函数类。
2025-06-06 math.LO
Simple product and locally o-minimal theories
存在NIP和非$_2$理论满足以下所有条件：它不是o-极小的;所有模型都是强局部o-极小的;它有一个模型是实$(\mathbb R\;;\;0,+,<)$上的线性序阿贝尔群的展开。我们使用简单乘积的概念来构造这些例子。
2022-08-17 math.LO
Dependent theories and the generic pair conjecture
我们试图通过“这类类型的分解定理”来理解依赖的完备一阶理论（以前称为NIP）的某种饱和模型上的完备类型。我们的论点是，依赖理论的图景是稳定理论图景和稠密线性序或树理论图景的结合（首先，我们应该理解完全饱和的情形）。作为衡量我们的进展，我们给出了几个应用程序考虑一些测试问题，特别是我们试图证明一般对猜想，并做可测基数。
2013-12-24 math.LO
Finding generically stable measures
讨论了在NIP理论中获得一般稳定Keisler测度的两种构造。首先，我们证明了如何对称化一个任意的不变测度以得到一个一般稳定的不变测度，其次，我们证明了合适的σ-可加概率测度可以产生一般稳定的测度。还包括一个证明，一般稳定的措施，o-极小理论和p-adics是光滑的。
2010-09-18 math.LO
Externally definable sets and dependent pairs
证明了一阶NIP理论中的外可定义集具有诚实定义，给出了Shelah展开定理的一个新证明。我们还讨论了一个弱的概念，稳定嵌入真在这种情况下。这些结果，然后用来证明一个一般定理依赖对，特别是回答了一个问题的鲍德温和Benedikt命名一个不可辨别的序列。
2011-09-15 math.LO
Boolean Types in Dependent Theories
完全类型的概念可以以自然的方式推广，以允许将任意布尔代数B中的值分配给每个公式。我们展示了一些基本的结果，关于B的属性对这些类型的行为的影响，并显示它们在NIP理论的情况下表现得特别好。特别地，我们推广了第三作者关于计数类型的结果，以及光滑类型的概念和将类型扩展到光滑类型。然后，我们表明，Keisler措施绑定到某些布尔类型，并表明，一些结果可以因此转移到措施-特别是，给一个替代的事实证明，每一个措施在一个依赖的理论可以扩展到一个顺利的。我们还研究了稳定的情况。我们认为这篇论文是对布尔类型主题进行更多研究的邀请。
2022-01-16 math.LO
$n$-variable theorems for dividing lines characterized by positive consistency-inconsistency configurations, and their applications to preservation problems
Korea Institute for Advanced Study（韩国高等科学研究院）
本文提出$n$-变量定理，统一处理多种分裂线，并证明在泛平凡化、可爱对、$H$-结构、向量空间、代数闭域及泛导数等扩张下保持性，同时推广到更高元数分裂线。
2026-10-20 math.LO
