首页/论文/1608.06006

arXiv 1608.060062016-08-21math.LO

关于第一类树性质缺失理论的一个保持定理

A preservation theorem for theories without the tree property of the first kind

Jan Dobrowolski, Hyeungjoon Kim

发表信息：: Mathematical Logic Quarterly (63), 536-543, 2017
DOI：: 10.1002/malq.201600049

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文证明了几何理论的NTP$_1$性质在可爱对和$H$-结构中保持，并给出非简单几何NTP$_1$理论的例子。

摘要：

我们证明了几何理论$T$的NTP$_1$性质被其可爱对和$H$-结构所对应的理论所继承。我们还提供了一类非简单几何NTP$_1$理论的例子。

英文摘要：

We prove that the NTP$_1$ property of a geometric theory $T$ is inherited by theories of lovely pairs and $H$-structures associated to $T$. We also provide a class of examples of nonsimple geometric NTP$_1$ theories.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

性质的保持种类

Kinds of preservations for properties

本文研究性质的保持可能性及其语义与语法联系，并应用于子代数、同余关系、Henkin构造、Tarski-Vaught检验、图和分级结构的刻画，同时探讨类型迹。

2025-09-26math.LO

Souslin树的保护和附带条件

Preservation of a Souslin tree and side conditions

我们展示了如何在有限条件下强制强制公理PFA（T），这是PFA相对于保持给定Souslin树T的适当力迫概念的相对化。证明使用了尼曼风格的迭代广义侧条件组成的两种类型的模型，和这种迭代的保存定理。这个公理的一致性以前是已知的标准可数支持迭代，使用保存定理由于Miyamoto。

2014-07-15math.LO

Suslin树的保持与闭无界同构

Suslin tree preservation and club isomorphisms

本文构造了存在Suslin树且特定正规Aronszajn树闭无界同构的集合论模型，还证明自由正规Suslin树经c.c.c.力迫可实现n-自由且高维导出树特殊的结果。

2022-12-17math.LO

科恩保护与独立

Cohen Preservation and Independence

我们提供了一个一般的保持定理，以保持选择性的独立家庭沿可数支持迭代。该定理给出了文献中关于独立数$\mathfrak{i}$严格小于$\mathfrak{c}$的模型的一些结果的一般框架，包括Sacks强迫，Miller划分强迫，$h$ -完美树强迫，完美树编码的迭代.此外，应用定理，我们证明了$\mathfrak{i} = \aleph_1$在Miller Lite模型。保存定理的一个重要方面是“科恩保存”的概念，我们将详细讨论。

2022-08-21math.LO

Aronszajn树保持与有界力迫公理

Aronszajn tree preservation and bounded forcing axioms

本文研究了力迫类中三个反射原理层级（有界力迫公理、Σ¹₁-绝对性和Aronszajn树保持）之间的关系，证明了对于不添加实数的力迫类，在2^ω层级上三者等价，并特别关注子完全力迫的子类。

2020-01-09math.LO

真强迫的许多可数支撑迭代保持Souslin树

Many countable support iterations of proper forcings preserve Souslin trees

我们发现，许多可数支持适当的强迫迭代保持Souslin树。我们建立充分条件的游戏，我们绘制连接到其他保存属性。我们提出了一个证明，在所谓的情况下，A，不需要一个部门的强迫，增加真正的和那些不支持可数的相互作用的保存属性。

2013-09-01math.LO

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

Mekler的构造与NCTP和NBTP的保持

Mekler's Construction and the Preservation of NCTP and NBTP

Changwon National University（昌原国立大学）；Korea Institute for Advanced Study（韩国高等研究院）

本文通过树不可区分性给出了一阶理论为NCTP或NBTP的条件，并展示了Mekler构造保持NCTP和NBTP。

2026-03-21math.LO

次完全强迫、树与通有绝对性

Subcomplete forcing, trees and generic absoluteness

研究树高为$ω_1$的树在次完全强迫下的性质及其保持性。我们表明，次完全强制不能添加一个新的分支到一个$ω_1$树。我们介绍片段的次完全性，这是保存的次完全强迫，并使用这些，以表明某些强形式的刚性的Suslin树保存的次完全强迫。最后，我们探讨在什么情况下，不完全强迫保留Aronszajn树的高度和宽度$ω_1$。我们表明，这是情况下，如果CH失败，如果CH持有，那么这是情况下，当且仅当有界次完全强制公理持有。最后，我们探讨有界强制公理之间的关系，高度和宽度$ω_1$和一般的绝对性的$Σ^1_1$-声明的Aronszajn树的保护在一阶结构的大小$ω_1$，也为其他规范类的强制。

2018-02-04math.LO

NATP的保持性

Preservation of NATP

本文证明NATP在多种模型论构造下的保持性，包括Fraïssé极限的参数化与和、稠密/共稠密扩张、一般谓词扩张及代数闭域配对扩张，并证明ACFO的模型伴随具有NATP。

2024-08-10math.LO

树强迫下保持投影确定性的水平

Preserving levels of projective determinacy by tree forcings

我们证明了各种经典的树强迫-例如萨克斯强迫，马蒂亚斯强迫，紫菜强迫，米勒强迫和银强迫-保持声明，每一个真正的有一个尖锐的，因此分析确定性。然后利用内模型论的方法提升这一结果，得到逐层保持的投影确定性（PD）。假设PD，我们进一步证明了射影一般的绝对性举行，并没有新的等价类类被添加到薄的射影传递关系，这些强迫。

2021-03-18math.LO

俱乐部静反射与特殊的Aronszajn树性质

Club Stationary Reflection and the Special Aronszajn Tree Property

证明了俱乐部驻反射与特殊Aronszajn树性质在$ω_2$上同时成立的一致性，从而有助于研究集合论中紧性与非紧性之间的张力.产生最终模型的偏序集遵循一个不可言喻的基数的崩溃，首先是俱乐部添加的迭代（带有预期），其次是专门的Aronszajn树的迭代。在本文的第一部分中，我们证明了一个关于$ω_2$上的特殊化Aronszajn树的一般定理，在我们称之为$\mathcal{F}$ -强真偏序集的情况下，其中$\mathcal{F}$是弱紧滤子或与不可表达理想对偶的滤子。这种类型的偏序集，其中的列维塌缩是一个退化的例子，使用系统的确切剩余函数，以创建许多强一般的条件。我们利用此类偏序集的商证明了关于平稳集保持的一个新结果;作为推论，我们证明了从弱紧基数开始的原始Laver-Shelah模型满足强平稳反射原理，尽管它未能满足完整的俱乐部平稳反射。在第二部分中，我们证明了塌缩和俱乐部加（带预期）的合成是一个$\mathcal{F}$ -强真偏序集。在证明了关于Aronszajn树保存的一个新结果之后，我们展示了如何获得最终模型。

2022-05-16math.LO

性质B：一种类似Baumgartner式的性质，适用于在支持大小为$\aleph_1$的迭代中保持$\aleph_1$和$\aleph_2$

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$

Logique Consult Paris（巴黎逻辑咨询公司）

本文研究了在支持大小为$\aleph_1$的迭代中保持$\aleph_1$和$\aleph_2$的性质B，扩展到其他满足$κ^{<κ}=κ$的基数，并引入了修正的完美集forcing。

2026-09-29math.LO

没有第二类树性质的理论

Theories without the tree property of the second kind

我们开始系统地研究一类没有树性质的第二类理论-NTP 2。最重要的是，我们展示了：在任意理论中，负担是“次乘法”的，（特别是，如果一个理论有TP 2，那么有一个公式用一个单一的变量证明这一点）; NTP 2等价于广义Kim引理和ist-权的有界性;任意理论中的类型的DP秩由该类型的实现的相互不可辨别的序列证明，在增加了一些参数之后-所以在任何理论中1-型的dp-秩总是由单例序列证明;在NTP 2理论中，简单类型是余简单的，由余独立定理表征，并且简单类型的实现与任意元素之间的分叉满足完全对称;特征为（0，0）的Henselian值域是NTP 2（强的，有限负担）当且仅当剩余域是NTP 2（剩余域和值域群分别是强的，有限负担），所以特别地，p-adics的任何超积是NTP 2;将一般谓词添加到几何NTP 2理论保持NTP 2。

2013-08-14math.LO

稀疏类上的保持定理再探

Preservation theorems on sparse classes revisited

该研究重新审视稀疏结构类上一阶逻辑的同态保持定理，指出原有证明中可加性假设强度不足，构造了有界树宽的反例并证明平面图类不满足该性质，同时提出用瓶颈合并条件替代可加性以恢复证明有效性。

2024-05-20cs.LOmath.LO

破坏或保存随你喜欢

Destruction or Preservation As You Like It

间隙强迫定理，本文的一个关键贡献，本质上意味着，在任何反向伊斯顿迭代封闭强迫，如Laver准备，超紧基数上的每一个超紧性措施从地面模型延伸的措施。因此，这种强迫不能产生新的超紧基数，而且，如果GCH成立，它也不能增加任何基数的超紧度;特别是，它不能产生新的可测基数。在一个高潮，我称之为精确保存定理，我用这种新技术来执行一种部分拉弗准备，从而精细控制类的偏序集保持超紧基数。最后，我证明了'如你所愿'定理，它断言，类的${<}κ$ -定向闭偏序集保持超紧基数$κ$可以通过强制符合任何预先选择的本地定义，尊重等价的强制。在此过程中，我完全分离了超级毁灭性层次的各个层次，并在结语中证明了脆弱性和超级毁灭性的概念是正交的-所有四种组合都是可能的。

2016-07-03math.LO

有限结构类上的K-Tarski保持定理的一个推广

A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures

我们通过\emph{preservation under substructures modulo $k$-sized cores}的语义概念研究了一个推广的K-Tarski保持定理。前面已经指出，在任意结构上，一阶逻辑的这个语义概念对应于$\exists^k\forall^*$语句的可定义性。在本文中，我们确定了两个性质的类有限结构，确保上述对应关系。第一种是基于嵌入关系下的良拟序。第二个是一个基于逻辑的组合性质，严格概括了第一个。我们表明，从满足任何这些属性的类开始，通过应用不相交的工会，carnival和张量积等操作，或通过在类上形成单词和树，获得的类继承相同的属性。作为一个余波，我们得到有趣的类的结构，其中一个有效的版本，Tarski定理持有。

2014-01-23cs.LOmath.LO

拓扑分类与高阶逻辑的几何态射保持

Classifying Topoi and Preservation of Higher Order Logic by Geometric Morphisms

拓扑是具有足够结构来解释高阶逻辑的范畴。他们承认态射的两个概念：逻辑态射保持所有的结构，因此保持高阶逻辑的解释;几何态射只保持部分结构，因此只保持高阶逻辑的部分解释。问题随之而来：什么样的高阶理论是由几何态射保持的？众所周知，某些称为内部几何理论的一阶理论被几何态射所保持，这些理论承认所谓的分类拓扑。简言之，拓扑$\mathcal{E}$中的内部几何理论$\mathbb{T}$的分类拓扑是拓扑$\mathcal{E}[\mathbb{T}]$，使得具有对$\mathcal{E}$的几何态射的任何拓扑$\mathcal{F}$中的$\mathbb{T}$的模型与在$\mathcal{E}$上从$\mathcal{F}$到$\mathcal{E}[\mathbb{T}]$的几何态射一一对应。一个有用的技术，表明高阶理论$\mathcal{T}$是保持几何态射是定义一个内部的几何理论$\mathbb{T}$的“坏集”的$\mathcal{T}$和显示，$\mathcal{T}$是等价的高阶理论说“的分类拓扑$\mathbb{T}$是退化的”。我们建立了内部几何理论的演绎演算，并证明了它证明了一个矛盾当且仅当该理论的分类拓扑是退化的。我们使用这个结果来研究的一个变种的高阶理论的Dedekind有限对象和高阶场论对象被认为是环对象，没有非平凡的理想。

2013-05-14math.LO

单个kappa处的小u（kappa），kappa++处为compactness

Small u(kappa) at singular kappa with compactness at kappa++

证明了$κ^{++}$的树性质、平稳反射和不可逼近性与$\mathfrak{u}(κ) = κ^+ < 2^κ$一致，其中$κ$是具有可数或不可数共尾性的奇异强极限基数.作为一个副产品，我们表明，如果$λ$是一个正则基数，那么在$λ^+$的静态反射是不可摧毁的所有$λ$ -CC强迫下（出于普遍的兴趣，我们还陈述了一个相关的结果，俱乐部静态反射的保存）。

2019-10-31math.LO