arXiv 1306.58522013-06math.LOmath.FA

Model theoretic stability and definability of types, after A. Grothendieck

Itaï Ben Yaacov

发表信息：: Bulletin of Symbolic Logic, Association for Symbolic Logic, 2014, 20 (4), pp.491-496

英文摘要：

We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Crit{è}res de compacit{é}" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

轨迹可定义性II：模型论的线性性

Trace definability II: model-theoretic linearity

研究展示了NIP结构中Shelah完备化出现新代数结构的例子，特别是构造了一个弱弱有序结构，其Shelah完备化解释了无限域。

2026-05-12math.LO

轨迹可定义性III：在T模型上的无限维空间

Trace definability III: Infinite dimensional space over a model of $T$

本文展示了对于多种模型论感兴趣的理论T*，存在更简单的理论T和κ≥aleph_0，使得T*与T模型上的κ维空间的轨迹等价。

2026-05-12math.LO

Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic

This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula $ϕ$, we prove definability of all complete $ϕ$-types over models and deduce from this the fundamental theorem of stability. Third, we study an important property in measure theory, Talagrand's…

2016-02-02math.LO

Stability and Grothendieck

This note is a commentary on the model-theoretic interpretation of Grothendieck's double limit characterization of weak relative compactness.

2017-03-27math.FAmath.LO

无量词可定义性中的证明论方法

Proof-theoretic methods in quantifier-free definability

本文引入一种证明论方法证明二阶直觉主义连接词的无量词不可定义性，验证了 Taranovsky 的连接词并深化了对 Kreisel 和 Połacik 连接词的认识，该方法有限且组合化，可转写至 Univalent Type Theory 并用 Agda 验证。

2025-01-30cs.LOmath.LO

Stability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function Spaces

We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, `Talagrand's stability', and explain the relationship between this property and NIP in continuous logic. Using a result of Bourgain, Fremlin and Talagrand, we prove the `almost definability' and `Baire~1 definability' of coheirs assuming NIP. We show that a formula $ϕ(x,y)$ has the strict order property if and only if there is a convergent sequence of continuous functions on the space of $ϕ$-types such that its limit is not…

2019-02-15math.LO

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

数域中Darmon点的一阶可定义性

First-order definability of Darmon points in number fields

The Ohio State University（俄亥俄州立大学）

本文研究了数域中Darmon点的一阶可定义性，通过全称存在全称公式描述，并在特定情况下改进为全称存在定义，同时展示了公式的统一性和多项式次数的界。

2026-01-25math.AGmath.LOmath.NT

格罗滕迪克的几何宇宙与信息网络的她af理论基础

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network

Yamato University（大和大学）

本文通过格罗滕迪克几何宇宙构建信息网络的sheaf理论基础，强调内在逻辑结构由几何和范畴条件生成。

2026-02-19math.CTmath.LO

Harsanyi型空间的概率逻辑

Probability Logic for Harsanyi Type Spaces

概率逻辑为博弈论经济学的信念类型的重大发展做出了贡献。本文给出了一个新的Harsanyi型空间的概率逻辑，证明了它的完备性，并证明了它的一个去嵌套性质和一个唯一的扩张定理。然后，我们证明了多智能体的互动认识论具有更大的复杂性比它的单智能体的对应表明，如果概率指数的信念语言被限制到一个有限集的理性和有许多命题的字母，然后与一个代理的概率信念的规范空间是有限的，而规范的至少有两个代理的基数的连续。最后，我们将多模态逻辑中的可定义性的三个概念推广到概率信念和知识逻辑，即隐式可定义性、约简性和显式可定义性。我们发现，S5-知识可以隐式定义的概率信念，但不能减少到它，因此是不明确的概率信念定义。

2014-06-21math.LO

模理论的Grothendieck环

Grothendieck Rings of Theories of Modules

模型论的Grothendieck环的一阶结构，定义的Krajiclouk和Scanlon，捕捉一些组合性质的可定义子集的有限权力的结构。本文计算了右$R$ -模$M$的Grothendieck环，$K_0(M_\mathcal R)$，其中$\mathcal R$是任何单位环.作为推论，我们证明了Prest的一个猜想：当$M$非零时，$K_0(M)$是非平凡的.主要的证明使用了单纯复形的同调论中的各种技术。

2013-02-18math.LO

非可除有序阿贝尔群的格罗滕迪克环是平凡的

The Grothendieck ring of a non-divisible ordered abelian group is trivial

Heinrich Heine University Düsseldorf（杜塞尔多夫黑森大学）；McMaster University（麦克马斯特大学）；University of Münster（明斯特大学）

研究有序阿贝尔群的模型论格罗滕迪克环，发现除可除群外所有环均 trivial，揭示了非可除群的结构特性。

2026-03-30math.LO

数理逻辑导论

An Introduction to Mathematical Logic

本文是面向数学本科生的数理逻辑导论，涵盖命题与一阶逻辑、Gödel不完备性定理、证明论、可计算性、模型论及集合论基础，课程含28次讲座与14次习题课。

2023-11-27math.LO

Zilber 的斜域引理

Zilber's skew-field lemma

本文在更广泛的背景下重新审视 Zilber 关于 Schur 引理可定义性的早期结果，并呈现与 Wagner 合作研究中提取的成果。

2023-09-21math.LOmath.RT

Bounded Symbiosis and Upwards Reflection

Bagaria and Väänänen developed a framework for studying the large cardinal strength of downwards Löwenheim-Skolem theorems and related set theoretic reflection properties. The main tool was the notion of symbiosis, originally introduced by the third author. Symbiosis provides a way of relating model theoretic properties of strong logics to definability in set theory. In this paper we continue the systematic investigation of symbiosis and apply it to upwards Löwenheim-Skolem theorems and reflection principles. To achieve this, we need to adapt the notion of symbiosis to a new form, called bound…

2020-07-29math.LO

脆弱性谱：在语言扩张下度量模型论性质的韧性

Fragility Spectrum: Measuring Resilience in Model-Theoretic Properties under Language Expansions

本文提出脆弱性谱框架，通过脆弱性指数量化模型论性质在语言扩张下退化的难易程度，并给出公理化、分层定理及与 Shelah 层级的联系。

2025-08-15math.LO