首页/论文/1001.2876

arXiv 1001.28762010-01math.LO

不稳定集合的独立性

Independence of Sets Without Stability

Adi Jarden, Alon Sitton

备注：: 32 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们给出了集合上的一个独立关系，我们可以用它来定义维数，假设我们有一个抽象的基本类，它有一个分叉的概念，满足好框架减稳定性的公理。

英文摘要：

We presents an independence relation on sets, one can define dimension by it, assuming that we have an abstract elementary class with a forking notion that satisfies the axioms of a good frame minus stability.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

NSOP $_1$理论中的任意集独立性

Independence over arbitrary sets in NSOP$_1$ theories

我们研究任意集合上的Kim独立性。假设分叉满足存在性，我们建立了NSOP $_{1}$理论中任意集上Kim-可分的Kim引理.给出了Kim独立性的对称性和Lascar强型的独立性定理。

2019-09-18math.LO

一般稳定独立性与无树理论

Generic Stability Independence and Treeless theories

本文系统研究一般稳定独立性，引入无树理论类，证明其包含二元理论与稳定理论，并由此推出每个二元 NSOP₃ 理论都是单纯的。

2023-05-29math.LO

$μ$结构的几何稳定性理论

Geometric stability theory for $μ$-structures

我们引入了$μ$ -结构的概念，它是某些局部紧群作用，并证明了Krupinski在\cite{Kru5}中引入的关于波兰结构的一些结果的对应结果.利用局部紧群的Haar测度，在具有良好性质的$μ$ -结构中引入了一个独立性，称为$μ$ -独立性.利用这种独立性概念，我们发展了$μ$ -结构的几何稳定性理论。然后我们得到了具有$μ$ -结构的紧群的一些结构定理。我们还给出了profinite结构的例子，其中$μ$ -独立性是不同的$nm$ -独立介绍Krupinski波兰结构。

2018-06-16math.LO

有限蕴含基中本质集的独立性

Independence of Essential Sets in Finite Implication Bases

本文通过拟闭集给出蕴含基的新刻画，证明不同本质集对应的蕴含组可在基间互换，并由此解决Adaricheva与Nation关于最优基中本质集右侧基数之和固定的公开猜想。

2023-05-27math.LO

d-tame度量抽象初等类中的一个稳定性转移定理

A stability transfer theorem in d-tame Metric Abstract Elementary Classes

在本文中，我们研究了d-tame度量抽象初等类中的一个稳定性转移定理，与[BaKuVa]中的方法类似，但使用了类似超稳定性的假设，其中包含一个新的独立性概念（Tame Independence）而不是$\aleph_0$ -局部性.

2011-08-01math.LO

Ramsey性质与病态集合：几乎不相交性、独立性及其他极大对象

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects

College of Mathematics, Sichuan University（四川大学数学学院）

本文在ZF+CC_R下证明，若Γ中所有集合具有Ramsey性质，则不存在MAD族，验证了Mathias的猜想，并扩展至分析理想下的I-MAD族，同时在ZF+DC_R下证明Ramsey性质排除Vitali集与Hamel基。

2026-04-29math.LO

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

无处稠密图类，稳定性和独立性

Nowhere dense graph classes, stability, and the independence property

一类图是无处稠密的，如果对每一个整数r有一个有限的上界的大小团出现（拓扑）r-子式。我们观察到，这种驯服的概念，从算法图论基本上是早期的超平坦性的稳定性理论的概念。对于子图闭类的图，我们证明了等价于稳定性和不具有独立性。

2010-11-17cs.DMcs.LOmath.LO

巴拿赫格$L_p(μ)$中的模型论独立性

Model-theoretic independence in the Banach lattices $L_p(μ)$

我们研究了$L_p(X,U,μ)$形式的巴拿赫格的模型论稳定性和独立性，其中$1 \leq p < \infty$。我们的特点不划分使用的概念分析，并表明，典型的基地存在的元组的真正的元素。

2009-07-30math.LO

随机化中的代数独立关系

Algebraic Independence Relations in Randomizations

研究了一类连续理论--完备一阶理论$T$的随机化$T^R$的代数独立性和逐点代数独立性的性质.如果$T$中的代数闭包和可定义闭包重合，则$T^R$中的代数独立性满足扩张性，具有最小可能界的局部特征，但既不具有有限特征，也不具有基单调性.对任意$T$，$T^R$中的点态代数独立性满足可数集扩张，具有有限特征，具有最小可能界的局部特征，满足基单调性当且仅当$T$中的代数独立性满足基单调性.

2017-03-31math.LO

度量抽象初等类在极限模型唯一性下的独立与控制

Around Independence and Domination in Metric Abstract Elementary Classes, under Uniqueness of Limit Models

我们研究的概念，独立性适当的度量抽象的基本类（简称，MAECs）的稳定性理论。我们建立在以前的概念中使用的离散的情况下，并适应度量的情况下的定义。特别是，我们研究的概念下表现良好的超稳定性的假设。在极限模型唯一性的前提下，研究了MAEC中Galois型的控制性、正交性和并行性。

2013-06-22math.LO

独立性的解释

Explanation of Independence

提出了完整一阶理论的“独立关系”（独立概念）的公理化处理，主要例子是分叉（由于Shelah）和荆棘分叉（由于Onshuus）。荆棘分叉的特点是在代数闭集的格模对。在可能的情况下，分叉和刺分叉以统一的方式处理。他们是双重的意义上，分叉是最好的（最严格的）和荆棘分叉的粗糙的独立关系值得研究。最后，我们定义了一个序列的核心的inquirbles和研究它的关系，规范基地。

2005-11-24math.LO

具有独立性质的 $(\Gamma,+,F)$ 的一个可判定扩张

A decidable expansion of $(Γ,+,F)$ with the independence property

本文针对有限生成 $\mathbb Z[F]$-模，在有限自动机可表示子类上构造一个包含 $\mathcal F$-集的扩张，使得所有自动子集可定义，且该扩张具有独立性质并保持可判定性。

2023-09-01math.LO

关于有限宽度偏序集中类型在有限集上的一致可定义性的注记

A note on uniform definability of types over finite sets in partial orders of finite width

本文否定了任何有限宽度偏序集均具有VC1性质的猜想，指出并非所有此类偏序集都满足单变量公式在一个参数下具有UDTFS的条件。

2024-06-26math.LO

简单齐次模型

Simple Homogeneous Models

几何稳定性理论是一套强大的模型理论工具，可以导致结构的结果，一个简单的一阶理论的模型。典型的结果提供了一个表征的理论模型中定义的群体。这项工作是在一个普遍的域的理论（一个饱和模型），其中的石头空间拓扑超过滤器的定义关系是紧凑的。在这里，我们在更一般的齐次模型的设置中操作，它通常具有非紧凑的Stone拓扑。本文研究了强λ-齐次模型（M，R），其中R的元素导出一个对称的、传递的、具有有界特征的独立性概念。这种独立性的概念，使用一个称为“划分”的组合条件定义，当（M，R）饱和时，与分叉独立性一致。饱和结构的几何稳定性理论的发展，即典型的基础，中心的概念，也存在于这种设置。

2002-07-25math.LO

AECats 中的 NSOP$_1$ 型独立性

NSOP$_1$-like independence in AECats

本文将一阶理论中 stable、simple 与 NSOP$_1$ 独立性的典范性定理推广到具有合并性质的 AECats，并提出 isi-dividing、isi-forking 与 long Kim-dividing 的抽象定义。

2022-12-05math.CTmath.LO