首页/论文/1406.7615

arXiv 1406.76152014-06math.LO

二元单齐次结构是有限秩超单结构

Binary simple homogeneous structures are supersimple with finite rank

Vera Koponen

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

假设M是一个具有有限关系词汇的无限结构，使得每个关系符号的arity至多为2。若M是单齐次的，则它的完备理论是超单的，且SU秩有限，不能超过空集上完备2-型的个数.

英文摘要：

Suppose that M is an infinite structure with finite relational vocabulary such that every relation symbol has arity at most 2. If M is simple and homogeneous then its complete theory is supersimple with finite SU-rank which cannot exceed the number of complete 2-types over the empty set.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

一维超单理论中SU-秩的可定义性和连续性

Definability and continuity of the SU-rank in unidimensional supersimple theories

我们证明，特别是，在一个超简单的一维理论的$SU$ -秩是连续的和$D$ -秩是可定义的。

2014-12-18math.LO

伪有限H-结构与可定义在超单H-结构中的群

Pseudofinite H-structures and groups definable in supersimple H-structures

本文研究了H-结构的一些性质。我们描述了一个建设的H-结构的基础上保持伪有限性的一维渐近类。也就是说，我们构造的H-结构是有限结构的超积。我们还证明了在基理论是SU-秩1的超单的假设下，H-结构中不存在新的可定义群。

2019-03-05math.LO

超单欧米伽范畴理论与预几何

Supersimple omega-categorical theories and pregeometries

我们证明了，如果$T$是一个具有非平凡依赖的$ω$ -范畴超单理论（由forking给出），则在实元素实现的有限集上存在一个非平凡正则1-型;因此forking在这种类型的解集上诱导出一个非平凡的预几何，并且该预几何是可定义的（仅使用100个参数）.关于$ω$ -范畴性的假设是必要的。这个结果被用来证明：如果$V$是一个最大元数为3的有限关系词汇表，而$T$是一个量词消去的超单$V$ -理论，则$T$具有平凡依赖和有限SU-秩.这立即加强了作者以前的一个结果：如果$\mathcal{M}$是一个三元单齐次结构，只有1000个约束，那么$Th(\mathcal{M})$有平凡依赖和有限SU-秩。

2018-06-29math.LO

三元齐次结构中的约束与划分

On constraints and dividing in ternary homogeneous structures

设M是三元的、齐次的、单的。我们证明了如果M是有约束的，那么它是超单的，有有限的SU-秩，并且对于某些$k < ω$和有限的实元素集，依赖是$k$ -平凡的.现在假设M是SU秩为1的超单。如果M是有约束的，则M中的代数闭包是平凡的.我们还发现了M的约束的性质、M的年龄所允许的合并的性质以及可定义的等价关系的性质之间的联系。证明的一个关键方法是从划分的实例和可定义的等价关系中“提取”（M的）约束。最后，我们给出了新的例子，包括一个不可数的家庭，三元齐次超单结构的SU-秩1。

2018-09-14math.LO

具有稠密独立子集的超单结构

Supersimple structures with a dense independent subset

基于\cite{BV-Tind,DMS}在o-极小和几何条件下所做的工作，我们研究了一个超简单理论模型的扩展，该理论具有一个新的谓词，该谓词区分了一组在部分类型$\mathcal{G}(x)$中稠密的分叉独立元素，我们称之为$H$ -结构.我们证明了任意两个这样的展开式具有相同的理论，并且在某些技术条件下，这个公共理论的饱和模型又是$H$ -结构。我们证明了在这些假设下的扩展是超单的，并刻画了分叉和典型的基础类型的扩展。我们还分析了这些扩展对一基性和CM-平凡性的影响。在一为基础的情况下，当$T$有$SU$ -秩$ω^α$和$SU$ -秩是连续的，我们采取$\mathcal{G}(x)$是$SU$ -秩$ω^α$的元素的类型，我们描述了一个自然的“几何泛型模$H$“与这样的扩展，并显示它是模块化的。

2018-03-20math.LO

Lascar 秩在扩张中的性质

Lascar Rank in Expansions

本文证明超简单理论的SU-秩在扩张中非递减，通过构造具有一致分叉模式的树来处理极限秩，并在可数秩情形给出清晰描述。

2026-09-15math.LO

更多相关论文收起更多论文

简单理论中分叉的几何学

Geometry of forking in simple theories

研究了超单w-范畴理论中U-秩2元分叉的几何性质，证明了这类元的稳定分叉和一些结构性质。我们将这种分析扩展到U秩3元素的情况。

2004-12-18math.LO

广义合并与齐性

Generalized amalgamation and homogeneity

本文证明了任何具有超单理论的$2$ -传递非齐次结构满足广义合并性质都是随机结构。特别是，这适用于二进制同质结构的Koponen的结果，以任意的没有二元关系。此外，我们还指出了简单理论中的广义合并、平凡性和量词消去之间的关系。

2016-10-18math.LO

测度结构中的高阶合并性质

Higher amalgamation properties in measured structures

本研究借助Towsner的无穷版超图移除引理，证明了测度结构中的高阶模型论合并性质，明确该性质在MS-可测结构中成立却不普遍适用于有限SU-秩超单纯结构，并据此判定部分Hrushovski的超单纯ω-范畴结构非MS-可测。

2022-07-14math.LO

抽象初等类中的类单独立关系

Simple-like independence relations in abstract elementary classes

我们介绍和研究简单和超简单的独立关系的背景下，AEC与怪物模型。$Theorem$：假设$K$是一个带有怪物模型的AEC。- 如果$K$具有简单独立关系，则$K$不具有2-树性质。- 如果$K$与$(<\aleph_0)$ -witness属性有简单的独立关系，则$K$不具有树属性。这两个事实的证明是通过找到基数界限类的小伽罗瓦类型在一个固定的模型是不一致的大子集。我们认为这种更好的类型计数方法本身就是一个有趣的概念。在局部性假设下，我们利用Lascar秩的有限性刻画了超单独立关系。

2021-02-22math.LO

关于$ω$ -范畴Hrushovski结构的不可测性

On the non-measurability of $ω$-categorical Hrushovski constructions

我们研究$ω$ -范畴$MS$ -可测结构.我们的主要结果是：一类$ω$ -范畴Hrushovski构造，其超单秩为有限的$SU$ -秩，是$MS$ -不可测的.这些结果补充了埃文斯关于麦克弗森和埃尔韦斯猜想的工作。与Evans的工作相反，我们的结构可以满足所有$n$的独立$n$ -合并。我们还证明了$ω$ -范畴$MS$ -可测结构的一些一般性结果。首先，在这些结构中，可以将$MS$ -维度-度量中的维度选择为$SU$ -秩。其次，非分叉独立性意味着测度的概率独立性。后者如下从更一般的未发表的结果Hrushovski，但我们提供了一个自包含的证明。

2022-11-28math.LO

秩为$3$的泛齐次单拟阵

A Universal Homogeneous Simple Matroid of Rank $3$

The Hebrew University of Jerusalem（耶路撒冷希伯来大学）

本文构造了秩为$3$的$\wedge$ -齐次泛单拟阵，即一个可数单秩~ $3$拟阵$M_*$，其中$\wedge$ -嵌入每一个有限单秩$3$拟阵，并且使得$M_*$的有限$\wedge$ -子几何之间的每一个同构扩张为$M_*$的一个自同构.我们还构造了一个$\wedge$ -齐次拟阵$M_*(P)$，它对于有限单秩$3$拟阵类是通用的，它省略了一个给定的有限射影平面$P$ .然后证明了这些结构不是$\aleph_0$范畴的，它们具有独立性，它们具有平稳独立关系，并且它们的自同构群嵌入对称群$Sym(ω)$ .最后，利用$M_*$的自由射影扩张$F(M_*)$，证明了存在一个可数射影平面，它嵌入了所有秩为$3$的有限单拟阵，并且它的自同构群包含$Sym(ω)$，实际上我们证明了$Aut(F(M_*)) \cong Aut(M_*)$ .

2018-10-03math.LO

将稳定分叉依赖性降低到有限多个预几何结构

Reducing stable forking dependence to finitely many pregeometries

研究有限秩超简单理论中稳定分叉猜想的主要情形，通过将佩雷茨在秩3的工作转化为存在性定理，并结合多实验参数可定义性论证，证明决定分叉稳定性的拟阵集可有限，为该猜想提供新证明。

2026-09-30math.COmath.LO

关于简单齐次结构中秩为1的集合

On sets with rank one in simple homogeneous structures

研究了$M^{eq}$中SU秩为1的可定义集$D$，其中$M$是有限关系词汇语言中的可数同构简单结构.每一个这样的$D$都可以被看作是一个“规范嵌入结构”，它继承了$D$上所有在$M^{eq}$中可定义的关系，并且没有其他可定义的关系。我们的结果意味着，如果$M$语言的关系符号的元数都不大于2，则依赖的平凡性与$D$是二元随机结构的约简有密切的关系.更珍贵的是：（a）如果对每个$n \geq 2$，在$D$中实现的每个$n$型$p(x_1, ..., x_n)$由其子2型$q(x_i, x_j) \subseteq p$确定，则限制于$D$的代数闭包是平凡的;（b）如果$M$具有平凡依赖，则$D$是二元随机结构的约简.

2014-10-01math.LO

解析着色

Analytic Colorings

研究了解析染色的完全齐次集的存在性。X的解析染色是[X]^N的解析子集，其中N>1是自然数。在表示解析着色的树上定义了一个绝对秩函数，它给出了齐次集可能基数的上界，并决定了是否存在完美齐次集.我们构造了任意给定秩gamma<omega_1的泛σ紧染色。这些着色始终包含基数aleph_gamma的齐次集，但它们不包含完美齐次集。作为应用，我们讨论了Polish线性空间子集的亏色性。

2002-12-02math.LO

何时不变性蕴含可交换性（及其在不变 Keisler 测度中的应用）

When invariance implies exchangeability (and applications to invariant Keisler measures)

本文刻画可数齐次结构膨胀空间上自同构不变测度何时可交换，并将结果用于分类多种结构的不变 Keisler 测度及构造零测公式。

2025-02-20math.COmath.DSmath.LO

相依同形玫瑰色结构

Dependent finitely homogneneous rosy structures

我们研究了非齐次依赖的Rosy结构，将Cherlin，Harrington和Lachlan的结果应用于$ω$ -稳定的$ω$ -范畴结构.特别地，我们证明了这样的结构有有限的秩和协调的一个秩1集。我们表明，他们承认一个远端的，可公理化的，扩展。这些结果表明，在有限关系语言中，至多存在可数个同构的依赖玫瑰结构M，直到可互定义性。

2021-07-06math.LO

齐次1基结构与随机结构的可解释性

Homogeneous 1-based structures and interpretability in random structures

设$V$是一个有限关系词汇表，其中没有符号的元数大于2。设$M$是可数的$V$ -结构，它是齐次的、简单的、基于1的.第一个主要结果是，如果$M$是本原的，那么它在随机结构中是强可解释的。第二个主要的结果，推广了第一个，意味着（没有假设的可解释性），如果$M$是“coordinatized”的一组与SU-秩1，并有没有可定义的（没有参数）非平凡的等价关系上$M$只有有限的类，然后$M$是强可解释的随机结构。

2015-07-27math.LO

NIP Ω范畴结构：秩1情形

NIP omega-categorical structures: the rank 1 case

我们分类原始的，秩1，欧米茄范畴结构多项式许多类型的有限集。对于一个固定数量的4型，我们表明，只有1000多个这样的结构，所有的都是建立在1000多个线性订单相互作用的方式有限。作为应用的例子，我们推导出了在由n个线性序组成的语言中同构的本原结构的分类以及这种结构的所有约简。

2022-07-30math.COmath.LO