首页/论文/1306.5345

arXiv 1306.53452013-06-22math.LO

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

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

Andrés Villaveces, Pedro Zambrano

备注：: 29 pages, 10 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

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

英文摘要：

We study notions of independence appropriate for a stability theory of metric abstract elementary classes (for short, MAECs). We build on previous notions used in the discrete case, and adapt definitions to the metric case. In particular, we study notions that behave well under superstability-like assumptions. Also, under uniqueness of limit models, we study domination, orthogonality and parallelism of Galois types in MAECs.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

代数闭值域中的稳定控制与独立性

Stable domination and independence in algebraically closed valued fields

我们试图创建一个代数闭值域（ACVF）的类型的模型理论分析的工具。我们给出的证据表明，一个概念的“稳定部分的统治”起着关键作用。在第一部分，我们发展了一个稳定支配类型的一般理论，表明它们享有一个优秀的独立性理论，以及可定义类型和可定义函数芽的理论。在第二部分中，我们证明了一般理论适用于ACVF。在一个足够丰富的基础上，我们表明，每一种类型是稳定的主导其形象的价值组。对于任何基上的不变类型，稳定控制与“与值群正交”的自然概念相一致。我们还调查了其他独立的概念，并表明，他们都同意，并且表现良好，稳定主导的类型。其中之一是用来表明每个类型都可以扩展到一个不变类型;可定义类型是稠密的。这类工作大部分需要使用虚元素。我们还证明了在合理的基上存在素模型，可能包括元数。

2006-11-20math.AGmath.LO

独立逻辑与抽象独立关系

Independence Logic and Abstract Independence Relations

University of Helsinki（赫尔辛基大学）

我们继续研究独立性逻辑和独立性的模型论分析之间的关系，将[15]和[16]的结果推广到任意AEC的抽象独立关系的框架。我们给出了一个模型理论的解释的独立原子和特征，在此条件下，我们可以证明一个完整的结果相对于演绎系统，公理化的团队语义和统计独立。

2016-09-08math.LO

独立性与抽象乘法

Independence and abstract multiplication

我们研究独立性的概念，这是许多看似无关的基础，逻辑的性质，如非单调逻辑中的理性单调性，和内插定理。

2010-01-18math.LO

支配和独立的渐进算法

Progressive Algorithms for Domination and Independence

我们考虑一个通用的算法范式，我们称之为渐进式探索，它可以用来开发简单而高效的参数化图算法。我们确定了两个模型理论的属性，导致有效的渐进算法，即变体的Helly属性和稳定性。我们通过给出各种受限图类（例如无处稠密类的幂、地图图和（对于$r=1$））中距离r支配集问题（由解大小参数化）的线性时间固定参数算法来演示我们的方法。bicliqu-free graphs。类似地，对于距离为r的独立集问题，该技术可用于在任何无处稠密类上给出线性时间固定参数算法。尽管简单的方法，在几种情况下，我们的研究结果扩展了已知的边界所考虑的问题的易处理性，并提高了最好的已知的运行时间。

2018-11-16cs.DMcs.LOmath.CO

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

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

新稳定性理论中的抽象独立关系

Abstract independence relations in neostability theory

Department of Pure Mathematics；Mathematical Statistics, Centre for Mathematical Sciences, Wilberforce Road, Cambridge CB3 0WB, UK

本文在Adler框架下发展抽象独立关系间的“见证”概念，统一新稳定性理论中的Kim引理变体，证明见证与对称性等价，并推导出链局部特征、弱独立定理等结果，最后证明NSOP₁与BTP之间的二分法。

2026-06-11math.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

抽象初等类中范畴性的超稳定性

Superstability from categoricity in abstract elementary classes

从一个没有极大模型的抽象初等类开始，谢拉和维拉维塞斯证明了（假设钻石的实例）范畴性意味着一个称为非分裂的特定独立关系的超稳定性性质。我们推广他们的结果如下：给定一个抽象的概念的独立性伽罗瓦（轨道）类型的模型，我们得出的概念满足超稳定性提供的类是范畴的，并满足弱化的融合。这扩展了Shelah-Villaveces的结果（独立性概念存在分裂）以及第一和第二作者的结果，其中独立性概念是连贯的。这个论证是在ZFC中，填补了Shelah-Villaveces证明中的一个空白。

2017-01-06math.LO

不稳定集合的独立性

Independence of Sets Without Stability

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

2011-05-18math.LO

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

Building independence relations in abstract elementary classes

我们研究了一般的方法来建立分叉的概念的框架内驯服抽象基本类（AEC）合并。我们表明，每当这样的类是明确的，在一个足够高的基数，他们承认一个很好的框架：一个forking-like的概念类型的单例元素。$\mathbf{Theorem}$（分类超稳定性）令$K$是一个融合的$(<κ)$ -驯服AEC。如果$κ= \beth_κ> \text{LS} (K)$和$K$在$λ> κ$中是分类的，则：* $K$在所有基数$\ge κ$中是稳定的。* $K$在$κ$中是分类的。* 存在具有底层类$K_λ$的类型完全良好的$λ$框架。在更多的局部性条件下，我们证明了框架扩展到一个全球独立的概念（任意长度的类型）。$\mathbf{Theorem}$（A global independence notion from categoricity）设$K$是一个密集类型局部的、完全驯服的、具有合并的短类型AEC。若$K$在无限多基数中是范畴的，则存在$λ\ge \text{LS} (K)$使得$K_{\ge λ}$与超稳一阶理论中的分叉性质存在全局独立关系.作为一个应用程序，我们推断（模一个未经证实的索赔谢拉），谢拉的最终范畴猜想AEC（不假设范畴的继任者基数）如下从弱广义连续统假设和一个大基数公理。$\textbf{Corollary}$假设$2^λ < 2^{λ^+}$为所有枢机主教$λ$，以及…

2016-03-29math.LO

在完全好的抽象初等类中建立素模型

Building prime models in fully good abstract elementary classes

我们展示了如何建立素数模型类的饱和模型的抽象基本类（AEC）具有良好的行为独立关系：$\mathbf{Theorem.}$让$K$是一个几乎完全好的AEC是分类在$\text{LS} (K)$和控制三元组的$\text{LS} (K)$存在性。对于任何$λ> \text{LS} (K)$，大小为$λ$的$K$的伽罗瓦饱和模型类在形式为$M \cup \{a\}$的每个集合上都有素模型。这推广了Shelah的一个论点，他证明了当$λ$是后继基数时的结果。

2016-05-10math.LO

可爱的模型对：非一阶情形

Lovely pairs of models: the non first order case

我们证明了对于每一个简单理论$T$（甚至简单的厚紧抽象理论），存在一个（唯一的）紧抽象理论$T^\fP$，其饱和模型是$T$的可爱对.独立性理论的结果，证明了在\cite{ppv:pairs}时，$T^\fP$是一个一阶理论证明了一般情况下：特别是$T^\fP$是简单的，我们排除独立性。

2009-02-01math.LO

从范畴观点看分叉独立性

Forking independence from the categorical point of view

分叉是模型论的一个中心概念，推广了向量空间中的线性无关性和域中的代数无关性。我们在抽象的范畴论术语中发展分叉理论，原因既有实用性（我们需要一个适合于$μ$ --抽象基本类，即具有所有态射单态射的可访问范畴--工作的特征），也有抽象性（我们希望，通过这种解释，使分叉对更广泛的数学受众是可访问的--而且是有用的--）。特别是，我们提出了一个公理化的定义，我们称之为一个稳定的独立性概念的一个类别，并表明，这实际上是一个纯粹的范畴理论公理化的属性模型理论分叉在一个稳定的一阶理论。

2019-02-01math.CTmath.LO

抽象初等类中的分叉

Forking in Short and Tame Abstract Elementary Classes

我们开发了一个概念的分叉伽罗瓦类型的抽象基本类（AEC）的上下文中。在假设AEC $K$是驯服的、类型短的和次序性质失效的情况下，我们考虑{ \bf定义。}设$M_0 \prec N$是来自$K$的模型，而$A$是一个集合。我们说$A$在$M$ \emph{does not fork over $M_0$}上的伽罗瓦型当且仅当对于所有小$a \in A$和所有小$N^- \prec N$，我们有在$M_0$上的$a$在$N^-$上的伽罗瓦型。假设性质（E）（见定义3.3），我们证明了这种非分叉是一个表现良好的独立性概念，特别是满足对称性和唯一性，并具有相应的U秩。我们发现一个普遍的地方字符的条件，特别是从一个\big基数的范畴多一点派生超稳定性的属性”。最后，我们表明，在大基数公理的证明是简单的，非分叉是更强大的。在[BGKV]它是建立这种概念的非分叉是唯一的独立关系可能的。

2017-01-04math.LO

抽象初等类中分叉的唯一性

On the uniqueness property of forking in abstract elementary classes

在满足局部超稳定性的抽象初等类的集合中，我们证明了由分裂产生的独立性概念$μ$ -分叉的唯一性.这是一个长期存在的技术难题，在这种设置中构建分叉式概念。作为一个应用程序，我们表明，分叉对称性的两个版本出现在文献中（一个定义的Shelah的好框架和一个定义的VanDieren分裂）是等价的。

2017-04-25math.LO

关于驯服抽象初等类的综述

A survey on tame abstract elementary classes

驯服抽象基本类是模型论的一个广泛的非基本框架，它包含了几个感兴趣的例子。近年来，在发展分类理论方面取得了进展。抽象的独立关系，如希拉的好框架已被发现是关键对象。已经获得了几个新的分类转移。我们调查这些事态发展使用以下结果（由于第二作者）作为我们的指导线索：$\mathbf{Theorem}$如果一个普遍的类是范畴的基数任意高共尾，那么它是范畴的尾巴上的基数。

2016-07-23math.LO

超越抽象初等类：关于几何格的模型论

Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices

基于Crapo的组合几何的一点扩张理论，我们发现了从稳定性理论的观点来看表现得非常好的各种类型的几何格。其中之一，$(\mathbf{K}^3, \preccurlyeq)$，是$ω$ -稳定的，它有一个怪物模型和一个独立演算，满足所有通常的非分叉性质。另一方面，这些类是相当不寻常的，例如，在$(\mathbf{K}^3, \preccurlyeq)$中，平滑性公理失败，因此$(\mathbf{K}^3, \preccurlyeq)$不是$\mathrm{AEC}$。

2017-10-09math.LO

$\aleph_0$中稳定的抽象初等类

Abstract elementary classes stable in $\aleph_0$

我们研究抽象的基本类（AEC），在$\aleph_0$，合并，联合嵌入，没有最大模型，是稳定的（在轨道类型的数量方面）。假设类型的局部属性，我们证明了这样的类表现出超稳定的行为在$\aleph_0$。更确切地说，存在基数的超极限模型$\aleph_0$，并且由该超极限生成的类具有类型完整的好$\aleph_0$ -框架（非分叉独立性的局部概念）和基数的超极限模型$\aleph_1$。我们还给出了一个超简单的条件下，局域性假设如下从休息。

2018-02-22math.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

极限模型的谱

On the spectrum of limit models

本文在抽象初等类框架下研究极限模型的谱，证明在良好独立性关系假设下，长极限模型同构而短极限模型非同构，并给出两个方向的改进结果。

2025-10-16math.LO

驯服和框架重新审视

Tameness and frames revisited

我们研究的问题，扩展一个抽象的独立概念类型的单例（什么希拉所谓的一个好的框架）更长的类型。驯服抽象的基本类的框架中工作，我们表明，良好的框架总是可以扩展到类型的独立序列。作为一个应用程序，我们表明，驯服和一个良好的框架意味着希拉的尺寸的概念是良好的行为，补充以前的工作Jarden和西顿。我们还改进了第一作者关于将框架扩展到更大模型的结果。

2017-01-04math.LO

在类Zorkiki结构中寻找群

Finding groups in Zariski-like structures

我们研究拟极小类，即抽象的基本类（AEC）产生的拟极小pregeometry结构。对于这些类，我们开发了一个独立的概念，特别是在$\M^{eq}$的独立性理论。然后，我们推广Hrushovski的组配置定理，我们的设置。在试图推广Zurkiki几何的上下文中的拟极小类，我们给出了公理化Zurkiki的结构，并作为我们的组配置定理的应用，表明，可以发现在他们假设从有界闭包算子的预几何是非平凡的。最后，我们研究了一个代数闭域的乘法群的覆盖，并证明了它提供了一个类似Zurkiki结构的例子。

2014-04-27math.LO

细胞范畴与稳定独立性

Cellular categories and stable independence

我们展示了一个桥梁理论的细胞类别，用于代数拓扑和同调代数，和模型理论的概念稳定的独立性。粗略地说，我们表明，组合的细胞类别（那些在精确的意义上，细胞态射是由一组生成的）正是那些引起稳定的独立概念。我们给出两个应用：一方面，我们证明了Baldwin-Eklof-Trlifaj研究的Ext的根的抽象初等类是稳定的和驯服的。另一方面，我们给出了一个更简单的证明（在特殊情况下），组合范畴是封闭的2-极限，一个定理的Makkai和Rosicksburg。

2022-04-01math.ATmath.CTmath.LO

抽象初等范畴的Kim-Pillay定理

The Kim-Pillay theorem for Abstract Elementary Categories

我们介绍了AECats（抽象基本范畴）的框架，概括了某些一阶理论的模型范畴和模型子集范畴。任何AEC和任何紧凑抽象理论（“猫”，由本-雅科夫介绍）形成一个AECat。特别是，我们发现应用程序在积极的逻辑和连续逻辑：一类（子集）模型的积极或连续的理论是一个AECat。一阶逻辑的Kim-Pillay定理通过划分独立性的性质来表征简单的理论。我们证明了一个版本的金-皮莱定理AECats的合并属性，推广一阶版本和现有的版本的积极逻辑。

2020-10-29math.CTmath.LO