首页/论文/math/9308210

arXiv math/93082101993-08-15math.LO

金丝雀树

The canary tree

Alan H. Mekler, Saharon Shelah

发表信息：: Canad. J. Math. 36 (1993), 209-215

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

金丝雀树是一棵基数树，连续统没有不可数的分支，但每当一个平稳集被破坏时（不添加实数）就会得到一个分支。金丝雀树是无限模型论中的一个重要分支。金丝雀树的存在性与ZFC + GCH无关。

英文摘要：

A canary tree is a tree of cardinality the continuum which has no uncountable branch, but gains a branch whenever a stationary set is destroyed (without adding reals). Canary trees are important in infinitary model theory. The existence of a canary tree is independent of ZFC + GCH.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

不可数正则基数的可定义树性质

Definable tree property for uncountable regular cardinals

该研究以一个超紧基数和一个更大的可测基数为基础，构造出满足所有不可数正则基数都具有可定义树性质的ZFC模型，回应了相关文献中的问题。

2023-10-08math.LO

不可数共尾奇异基数在双后继上的树性质

The tree property at double successors of singular cardinals of uncountable cofinality

假设存在一个强基数$κ$和一个可测基数以上，我们迫使一个泛型扩张，其中$κ$是一个奇异的强极限基数的任何规定的共尾性，并使树的属性保持在$κ^{++}$。

2017-08-06math.LO

具有Suslin树但除$ω_1$和$-ω_1$外没有最小不可数linear orders的模型

A model with Suslin trees but no minimal uncountable linear orders other than $ω_1$ and $-ω_1$

我们表明，存在的Suslin树并不一定意味着有不可数的最小线性订单以外的$ω_1$和$-ω_1$，回答了一个问题的J.鲍姆加特纳。这是由詹森型迭代，证明了一个可以强迫CH连同一个限制形式的梯形系统均匀化的树木，同时保持一个刚性的Suslin树。

2018-03-12math.LO

具有无限间隙的不可数共尾奇异基数在双后继上的树性质

The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps

假设存在一个强基数$κ$，一个弱紧基数$λ$以上，它和$γ> λ,$，我们迫使一个泛型扩张，其中$κ$是一个奇异的强极限基数的任何给定的共尾性$δ$，$2^κ\geq γ$，使树的性质保持在$κ^{++}$。

2020-06-25math.LO

不可数树和科恩$κ$ -实数

Uncountable trees and Cohen $κ$-reals

我们研究了广义Cantor和Baire空间中树强迫的变形虫的一些版本。这回答了[10，问题3.20]，并概括了[11]，[13]和[7]中标准情况下的研究路线。此外，我们还回答了Friedman，Khomskii和Kulikov在[3]中提出的关于不可数基数的正则性之间关系的问题。我们显示$Σ_1^1$ -反例的一些规律性的性质有关的树没有俱乐部分裂。特别是，我们证明了一个强大的拉姆齐和Baire属性之间的关系，在轻微的对比与标准的情况下。

2020-08-11math.LO

关于不可数结构类的复杂性：$\aleph_1$上的树

On the complexity of classes of uncountable structures: trees on $\aleph_1$

本文分析了在高阶Baire空间$ω_1^{ω_1}$的射影层次中的（特殊）Aronszajn树、Suslin树和Kurepa树类的复杂性.首先，我们将证明这些类都不具有Baire属性（除非它们为空）。此外，在$(V=L)$下，（a）Aronszajn树和Suslin树类是$Π_1^1$ -完全的，（b）特殊Aronszajn树类是$Σ_1^1$ -完全的，（c）Kurepa树类是$Π^1_2$ -完全的.我们实现这些结果，找到很好的定义减少映射子集$ω_1$ $X$树$T_X$，使$T_X$是在一个给定的树类$\mathcal T$当且仅当$X$是固定/非固定（取决于类$\mathcal T$）。最后，我们提出了CH模型，这些类具有较低的投影复杂度。

2019-06-03math.LO

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

不可数Hadwiger猜想与树的图刻画

The Uncountable Hadwiger Conjecture and Characterizations of Trees Using Graphs

我们证明了一个非特殊的树的大小$λ$的存在性是等价的不可数色图的存在性，没有$K_{ω_1}$小的大小$λ$，建立一个特殊的树数和不可数Hadwiger猜想之间的联系。还推出了Aronszajn，Kurepa和Suslin树的图的特征。引入了一个新的广义连通性概念，利用它我们可以刻画弱紧基数。

2022-12-05math.COmath.LO

不可数线性序的一个虚拟五元基

A virtual five element basis for the uncountable linear orders

该研究通过证明Aronzsajn线与Countryman线的同构嵌入结论，结合真力迫等新保持性结果，解答了不可数线性序五元基存在性等相关数理逻辑问题，推广了前人工作。

2025-10-22math.LO

高等库雷帕树的描述性特征

Descriptive properties of higher Kurepa trees

我们使用概括的概念，从描述集合论研究组合对象的不可数经常基数，集中在较高的Kurepa树和表示的集合的共尾分支，通过这种树作为连续图像的函数空间。对于不同类型的不可数正则基数$κ$，我们的结果提供了一个完整的图片的所有一致的情况下，通过$κ$ -Kurepa树的广义Baire空间${}^κκ$的$κ$的收缩表示的共尾分支集。此外，这些结果可用于确定${}^κκ$连续图像的大多数相应语句的一致性。

2021-03-18math.LO

闭图的Borel色数与均匀树的强迫

Borel chromatic numbers of closed graphs and forcing with uniform trees

在这项工作中，我们继续Geschke，2011年开始的传统，查看解析图的不可数Borel色数作为基数不变量的连续。我们证明了闭图的各种不可数Borel色数可以一致地不同，也可以一致地等于连续统。这是使用公理A力迫概念的典型参数来完成的。

2022-08-14math.COmath.LO

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

An almost Kurepa Suslin tree with strongly non-saturated square

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

2025-09-08math.LO

通用宽 Aronszajn 树

Universal wide Aronszajn tree

本文在弱紧致基数一致性假设下，证明存在一棵包含所有宽 Aronszajn 树同构副本的通用宽 Aronszajn 树。

2025-11-09math.LO

扩展树的划分定理

Partition theorems for expanded trees

本文研究扩展树的大子树划分定理，通过保持层次相等性而非高度保持，得到不依赖大基数的一致性结果，并应用于模型论问题。

2026-01-04math.LO

正则基数长区间上的树性质

The tree property on long intervals of regular cardinals

本文围绕 Foreman–Magidor 关于首个不可数基数以上所有正则基数均具有树性质的问题，证明树性质可在与强极限基数相交的正则基数区间上成立。

2025-05-12math.LO

关于边着色与树的注记

A Note on Edge Colorings and Trees

我们指出了某些边着色的齐次集的存在性和某些树的分支的存在性之间的一些联系。由此，我们得到了：当$μ$的颜色数满足$μ^+<κ$时，基数$κ$的任何局部可加着色（本文中引入的一个概念）都有一个大小为$κ$的齐次集.另一个结果是不可数基数$κ$是弱紧的当且仅当$κ$是正则的，具有树性质，并且对于每个$λ,μ<κ$存在$κ^*<κ$使得每个具有$λ$节点的高度$μ$的树具有小于$κ^*$的分支。

2022-04-14math.LO

选择原理与不可数情形下的Scheepers图

Selection principles and the Scheepers diagram in an uncountable setting

Department of Mathematics, Mirza Ghalib College（米尔扎·加利布学院数学系）；Department of Mathematics, University of Gour Banga（古尔班加大学数学系）

本文研究不可数情形下的选择原理，确定了Scheepers图（直至三个未解决蕴含），证明弱紧致κ下κ-Hurewicz猜想在GCH下不成立，并给出相关尺度集与K_κ-空间的新例子。

2026-09-29math.GNmath.LO

局部可列$F_σ$图的Borel色数与超完美树的强迫

Borel chromatic numbers of locally countable $F_σ$ graphs and forcing with superperfect trees

在这项工作中，我们研究了不可数Borel色数，由Geschke（2011）定义为连续体的基数特征，低复杂度图。证明了在加$\aleph_2$ Laver实数得到的模型中，具有紧致全不连通的点集的局部可数图的强形式的Borel色数是由该模型的连续统所限定的.由此，我们回答了Geschke和第二作者（2022）的一个问题，以及Fisher，Friedman和Khomskii（2014）关于实数线子集的正则性的另一个问题。

2022-09-08math.COmath.LO

特殊的树号

The Special Tree Number

定义特殊树编号，记为$\mathfrak{st}$，是高度为$ω_1$的树的最小尺寸，该树既不特殊也没有共尾分支。这红衣主教以前曾研究的背景下的片段$\mathsf{MA}$，但在本文中，我们看看它的关系，其他更典型的，红衣主教的特点。经典的事实意味着，$\aleph_1 \leq \mathfrak{st} \leq 2^{\aleph_0}$，根据马丁的公理$\mathfrak{st} = 2^{\aleph_0}$和$\mathfrak{st} = \aleph_1$是一致的$\mathsf{MA}({\rm Knaster}) + 2^{\aleph_0} = κ$的任何定期$κ$因此价值$\mathfrak{st}$是不决定的$\mathsf{ZFC}$，事实上可以严格低于基本上所有良好的研究基本特征。相反，我们证明了对于不可数共尾的$κ$，$\mathfrak{st} = 2^{\aleph_0} = κ$是相容的，而对于不可数共尾的${\rm non}(\mathcal M) = \mathfrak{a} = \mathfrak{s} = \mathfrak{g} = \aleph_1$，$\mathfrak{st} = 2^{\aleph_0} = κ$是相容的.尤其是$\mathfrak{st}$独立于Chichocolate图的左侧。证明涉及到深入研究的标准CC…

2023-01-09math.LO