首页/论文/1810.09428

arXiv 1810.094282018-10math.LO

基于布尔超幂的Keisler序

Keisler's order via Boolean ultrapowers

Francesco Parente

发表信息：: Archive for Mathematical Logic 60 (2021) 425-439
DOI：: 10.1007/s00153-020-00750-7

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文利用布尔超幂的饱和性给出了Keisler序的一个新的刻画。要做到这一点，我们应用和扩展的框架“分离的变量”最近开发的Malliaris和Shelah。我们还表明，良好的超滤布尔代数正是那些捕捉最大类Keisler的顺序，回答了本达在1974年提出的一个问题。

英文摘要：

In this paper, we provide a new characterization of Keisler's order in terms of saturation of Boolean ultrapowers. To do so, we apply and expand the framework of 'separation of variables' recently developed by Malliaris and Shelah. We also show that good ultrafilters on Boolean algebras are precisely the ones which capture the maximum class in Keisler's order, answering a question posed by Benda in 1974.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

关于正则超滤子、布尔超幂和Keisler阶

On regular ultrafilters, Boolean ultrapowers, and Keisler's order

本文分析和比较了完备布尔代数上滤子的两种不同的正则性概念。我们还宣布了两个结果，从即将发表的论文中的准备，这提供了一个表征凯斯勒的顺序在布尔超幂。

2019-02-15math.LO

作为大基数嵌入的良基布尔超幂

Well-founded Boolean ultrapowers as large cardinal embeddings

布尔超幂扩展了经典的超幂构造，使其可以在任何完备布尔代数上使用超滤子，而不仅仅是在幂集代数上。当它们是有根据的，相关的布尔超幂嵌入表现出一个大基数的性质，和布尔超幂结构，从而统一了两个中心主题的集合论-迫使和大基数-通过揭示他们是两个方面的一个单一的基础建设，布尔超幂。

2012-06-26math.LO

布尔超幂、Bukovsky-Dehornoy现象和迭代超幂

Boolean ultrapowers, the Bukovsky-Dehornoy phenomenon, and iterated ultrapowers

我们表明，虽然长度$ω$迭代超幂由正常超滤子是布尔超幂由布尔代数的Prikry迫使，它是一致的，没有迭代的长度大于$ω$（相同的超滤子和它的图像）是布尔超幂。对于较长的迭代，使用不同的超滤子，这是可能的，虽然，我们给Magidor强迫和Prikry强迫的推广作为例子。我们把宇宙的有限迭代通过正规测度的交集与通过临界序列的直接极限模型的泛型扩张相同的发现称为布科夫斯基-德霍诺现象，并且我们发展了一个充分的判据（简单骨架的存在），当这种现象的一个版本在布尔超幂的上下文中成立时。假设规范的泛型滤子在布尔超幂模型有什么我们称之为连续表示，我们表明，布尔模型恰恰是由那些成员的交叉模型，连续和最终统一表示代码。

2017-07-20math.LO

凯斯勒的顺序有无限多个类

Keisler's order has infinitely many classes

我们证明，在ZFC，有一个无限严格下降链的理论类Keisler的顺序。因此，Keisler的顺序是无限的，而不是一个良好的秩序。此外，这一链发生在简单的不稳定理论中，被认为是模型理论上的驯服。凯斯勒的秩序是一个中心概念的模型论的60年代和70年代比较一阶理论（和隐含的超滤子）根据饱和的ultrapowers。在这篇论文之前，人们一直认为它有很多类，线性排列。我们发现的模型理论的复杂性是由一个非常自然的理论，$n$ -自由$k$ -超图Hrushovski研究证明。这种复杂性反映了合并的困难，似乎与分叉正交。

2015-08-20math.LO

Keisler阶与完全布尔值模型

Keisler's Order and Full Boolean-Valued Models

证明了满布尔值模型的一个紧性定理。作为应用，我们证明了如果$T$是完全可数理论，而$\mathcal{B}$是完全布尔代数，则存在$T$的$λ^+$饱和$\mathcal{B}$值模型.此外，如果$\mathcal{U}$是$T$上的超滤子，$\mathbf{M}$是$T$的$λ^+$饱和的$\mathcal{B}$值模型，则$\mathbf{M}/\mathcal{U}$是否$λ^+$饱和仅取决于$\mathcal{U}$和$T$ ;在这种情况下，我们说$\mathcal{U}$ $λ^+$饱和$T$.我们证明了Keisler的阶可以表述为：$T_0 \trianglelefteq T_1$当且仅当对每个基数$λ$，对每个具有$λ^+$ -c. c.的完备布尔代数$\mathcal{B}$，并且对于$\mathcal{B}$上的每个超滤波器$\mathcal{U}$，如果$\mathcal{U}$ $λ^+$ -饱和$T_1$，则$\mathcal{U}$ $λ^+$ -饱和$T_0$。

2018-10-12math.LO

强Prikry性质

The strong Prikry property

我隔离的偏序集$\mathbb{P}$，我称之为强Prikry属性，这意味着存在一个超滤子的完整的布尔代数$\mathbb{B}$的$\mathbb{P}$，使一个包含的布尔超幂版本的所谓\Bukovsky -Dehornoy现象保持相对于$\mathbb{B}$和$U$。我表明，在所有的情况下，以前的研究，它表明，他们来与一个典型的迭代超幂建设，其限制可以被描述为一个单一的布尔超幂，偏序集问题满足这个属性：普里克里强迫，Magidor强迫和广义普里克里强迫。

2017-07-20math.LO

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

用独立的小值域族饱和随机图

Saturating the random graph with an independent family of small range

受Keisler的序的启发，我们证明了对于$I$上的一类正则滤子$D$，$|I| = λ> \aleph_0$，$P(I)/\de$几乎没有自由度的事实（如通过任何最大反链的大小为$<λ$的事实所测量，或者甚至是可数的）并不阻止将$D$扩展到使随机图的超幂饱和的$I$上的超滤波器$D_1$。“饱和”意味着当M是随机图理论的模型时，$M^I/\de_1$是$λ^+$ -饱和的。这对于稳定的理论是正确的，而对于非简单和非低的理论是错误的。这一结果和证明中引入的技术催化了作者随后关于简单不稳定理论的Keisler阶的工作。介绍，其中包括一部分写的模型理论家和一部分写的集理论家，讨论我们目前的计划和相关的结果。

2012-08-28math.LO

从模型论的观点构造正则超滤子

Constructing regular ultrafilters from a model-theoretic point of view

本文有助于理解Keisler的顺序集理论的一面。我们认为超滤的性质，影响饱和的不稳定的理论：较低的共尾性$\lcf(\aleph_0, \de)$的$\aleph_0$模$\de$，饱和的最小不稳定的理论（随机图），灵活性，善良，善良的平等，和实现对称削减。我们的工作在ZFC除了当注意到，因为几个建设呼吁完成超滤，从而假定一个可测量的基数。主要结果如下。首先，我们调查的强度的灵活性，检测到的非低理论。假设$κ> \aleph_0$是可测量的，我们构造了一个经常超滤波器$λ\geq 2^κ$是灵活的（因此：好），但不是很好，而且有大的$\lcf(\aleph_0)$，但甚至不饱和模型的随机图。证明了不稳定理论的正则超幂存在饱和损失，并给出了非简单理论的超幂存在饱和损失的一个新证明。最后，我们调查的实现和省略对称削减，重要的是，因为最大的严格顺序属性在凯斯勒的顺序，并通过最近的工作，作者对$SOP_2$。我们证明了，对于任何$n < ω$，假设存在$n$可测基数低于$λ$，有一个经常超过滤器$D$ $λ$，使任何$D$ -超功率的线性秩序的模型将有$n$交替切割，如下所定义的。此外，$D$将$λ^+$ -饱和所有稳定的理论，但不会$(2^κ)^+$ -饱和任何不稳定的理论，其中$κ$是在构造中使用的最小可测量基数。

2012-04-06math.LO

从布尔代数视角看一些简单理论

Some simple theories from a Boolean algebra point of view

本文从布尔代数视角出发，通过手工构造布尔代数与超滤子，证明了Keisler序中两类简单秩一理论族之间的强分离，推进了Kunen关于好超滤子的工作，并给出灵活超滤子定理及开放问题。

2023-07-05math.LO

最优超滤子的存在性和简单理论的基本复杂性

Existence of optimal ultrafilters and the fundamental complexity of simple theories

在《分类论》第一版中，第二作者用超大国饱和的观点来描述稳定理论。在这个定理之前，稳定性已经被定义为计数类型，并且不稳定公式定理是已知的。超幂刻画的一个贡献是，它涉及整理全局理论，并引入非分叉，对稳定性理论的发展具有开创性意义。在本文件之前，没有这样的不稳定类的特征。本文首先证明了布尔代数上所谓的最优超滤子的存在性，这对于简单的理论来说，就像Keisler的好超滤子对于所有的理论一样。然后，假设一个超紧基数，我们描述的简单理论的超幂饱和。为此，我们通过某些合并模式的复杂性，为分析ZFC中简单理论的全局结构奠定了基础。这使人们关注简单的不稳定理论的基本复杂性，这些理论在稳定性方面没有真正的类似物。

2015-08-18math.LO

简单不稳定理论的分界线

A Dividing Line Within Simple Unstable Theories

我们给出了第一个（ZFC）分界线在凯斯勒的顺序之间的不稳定的理论，特别是在简单的不稳定的理论。也就是说，对于任何无限基数$λ$，有$μ< λ\leq 2^μ$，我们构造一个正则超滤子D $λ$，使得（i）对于任何模型$M$的稳定理论或随机图，$M^λ/D$是$λ^+$ -饱和的，但（ii）如果$Th(N)$是不简单或不低，那么$N^λ/D$是不$λ^+$ -饱和。非饱和结果依赖于灵活的超滤子的概念。为了证明饱和的结果，我们开发了一类简单的理论，称为Qr 1的属性，概括了这样一个事实，即只要$B$是一组参数在一些充分饱和的随机图模型，$|B| = λ$和$μ< λ\leq 2^μ$，那么有一个集$A$与$|A| = μ$，使任何非代数$p \in S(B)$是可实现的$A$。除了提供简单的不稳定理论的信息，我们的证明在几个关键方面重新构建了超能力饱和的问题。我们给出了一个新的表征良好的过滤器的“卓越”，衡量的准确性的商布尔代数。我们引入并发展了布尔代数上的{道德}超滤子的概念。我们证明了所谓的“变量分离”结果，该结果显示了如何将构建具有精确饱和度的超滤波器的问题有利地分为一个更具集合理论性的阶段，构建一个优秀的滤波器，然后是一个更具模型理论性的阶段：在商布尔代数上建立道德超过滤器，这一过程突出了某些模式的复杂性，这些模式来自一阶公式，在某些布尔代数中。

2012-08-10math.LO