arXiv math/95042201995-04-15math.LO

Can a small forcing create Kurepa trees?

Renling Jin, Saharon Shelah

发表信息：: Ann. Pure Appl. Logic 85 (1997), 47--68

英文摘要：

In the paper we probe the possibilities of creating a Kurepa tree in a generic extension of a model of CH plus no Kurepa trees by an omega_1-preserving forcing notion of size at most omega_1. In the first section we show that in the Levy model obtained by collapsing all cardinals between omega_1 and a strongly inaccessible cardinal by forcing with a countable support Levy collapsing order many omega_1-preserving forcing notions of size at most omega_1 including all omega-proper forcing notions and some proper but not omega-proper forcing notions of size at most omega_1 do not create Kurepa trees. In the second section we construct a model of CH plus no Kurepa trees, in which there is an omega-distributive Aronszajn tree such that forcing with that Aronszajn tree does create a Kurepa tree in the generic extension. At the end of the paper we ask three questions.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Kurepa-trees and Namba-forcing

We show that compact cardinals and {\rm MM} are sensitive to $λ$-closed forcings for arbitrarily large $λ$. This is done by adding 'regressive' $λ$-Kurepa-trees in either case. We argue that the destruction of regressive Kurepa-trees with {\rm MM} requires the use of Namba forcing.

2006-05-04math.LO

Sealed Kurepa 树

Sealed Kurepa Trees

本文研究了 Kurepa 树的分配性问题，证明了存在添加分支而不崩塌基数的一致性，并推导出一个 proper forcing 概念，能在不崩塌 $\aleph_1$ 和 $\aleph_2$ 的情况下将任意 Kurepa 树转化为非分配树。

2023-12-31math.LO

More on almost Souslin Kurepa trees

It is consistent that there exists a Souslin tree $T$ such that after forcing with it, $T$ becomes an almost Souslin Kurepa tree. This answers a question of Zakrzewski.

2015-10-10math.LO

Characterizing the spectra of cardinalities of branches of Kurepa trees

We give a complete characterization of the sets of cardinals that in a suitable forcing extension can be the Kurepa spectrum, that is, the set of cardinalities of branches of Kurepa trees. This answers a question of the first named author.

2020-12-14math.LO

Forcing with matrices of countable elementary submodels

We analyze the forcing notion $\mathcal P$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_θ$. We show that forcing with this poset adds a Kurepa tree $T$. Moreover, if $\mathcal P_c$ is a suborder of $\mathcal P$ containing only continuous matrices, then the Kurepa tree $T$ is almost Souslin, i.e. the level set of any antichain in $T$ is not stationary in $ω_1$.

2015-08-17math.LO

Indestructibility of some compactness principles over models of PFA

We show that $\mathsf{PFA}$ (Proper Forcing Axiom) implies that adding any number of Cohen subsets of $ω$ will not add an $ω_2$-Aronszajn tree or a weak $ω_1$-Kurepa tree, and moreover no $σ$-centered forcing can add a weak $ω_1$-Kurepa tree (a tree of height and size $ω_1$ with at least $ω_2$ cofinal branches). This partially answers an open problem whether ccc forcings can add $ω_2$-Aronszajn or $ω_1$-Kurepa trees. We actually prove more: We show that a consequence of $\mathsf{PFA}$, namely the guessing model principle, $\mathsf{GMP}$, which is equivalent to the ineffable slender tree proper…

2022-08-04math.LO

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

几乎Kurepa Suslin树与猜测模型性质的破坏性

Almost Kurepa Suslin trees and destructibility of the Guessing Model Property

Institute of Mathematics, Czech Academy of Sciences（捷克科学院数学研究所）；Charles University, Department of Logic（查理大学逻辑系）

本文证明了在ω₂处猜测模型原理与几乎Kurepa Suslin树存在的一致性，并展示了该原理可能被cccforcing破坏，同时探讨了弱Kurepa树与树性质的关系。

2026-03-11math.LO

没有弱 Kurepa 树的强非饱和 Aronszajn 树

A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees

本文基于 Chang 猜想的否定与不可达基数等大基数假设，通过构造 c.c.c. 和 Y-proper 等力迫偏序集，证明了强非饱和 Aronszajn 树的存在性与弱 Kurepa 树的不存在性及相关双基数树性质保持一致。

2025-06-27math.LO

一个具有强非饱和平方的几乎Kurepa Suslin树

An almost Kurepa Suslin tree with strongly non-saturated square

本文构造Knaster力迫，添加一棵带ω₂个强几乎不相交自同构族的Suslin树，使其平方强非饱和，并引入ρ-分离新方法。

2025-09-08math.LO

在自由苏斯林树上的力迫

Forcing Over a Free Suslin Tree

University of North Texas（北德克萨斯大学）；Charles University（查理大学）

研究在自由苏斯林树上添加几乎不相交自同构的力迫，通过可数逼近进行。此力迫完全恰当，保持苏斯林性且不添加新共尾分支。特定条件下的乘积力迫解决了相关开放问题。

2026-07-22math.LO

无 Aronszajn 子树的 Kurepa 树

Aronszajn Free Kurepa Trees

本文研究 $ω_1$ 幂集上的传递关系，证明若存在极大元素则有无 Aronszajn 子树的 Kurepa tree，并指出这些极大子集在许多不假设大基数的模型中存在。

2023-10-19math.LO

具有CH的ccc不可摧毁构造

A ccc indestructible construction with CH

Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）

本文提出了一种基于Kurepa家族的构造方法，用于在CH下构建与完整协调Suslin树相关的ccc不可摧毁性质，并揭示了强制操作在保持Suslin树时的强负划分关系。

2025-12-31math.LO

论Souslin树及其泛型分支的刚性

On the rigidity of Souslin trees and their generic branches

该数理逻辑研究证明了存在满足特定刚性与Kurepa性质的Souslin树的相容性，解答了Fuchs的相关问题，还证明了与菱形原理相容的Souslin树稠密子集性质，回应了Baumgartner的相关问题。

2023-06-18math.LO

Small forcing creates neither strong nor Woodin cardinals

After small forcing, almost every strongness embedding is the lift of a strongness embedding in the ground model. Consequently, small forcing creates neither strong nor Woodin cardinals.

1998-08-29math.LO

Methods in Higher Forcing Axioms (Workshop Notes)

Methods of Higher Forcing Axioms was a small workshop in Norwich, taking place between 10--12 of September, 2019. The goal was to encourage future collaborations, and create more focused threads of research on the topic of higher forcing axioms. This is an improved version of the notes taken during the meeting by Asaf Karagila.

2019-12-04math.LO