首页/论文/1911.04480

arXiv 1911.044802019-11-11math.LOmath.GN

Laver、Miller和Sacks模型中的选择原理

Selection Principles in the Laver, Miller, and Sacks models

Lyubomyr Zdomskyy

备注：: Comments are welcome. To appear in Contemporary Mathematics volume devoted to 100 years of Borel Conjecture. arXiv admin note: text overlap with arXiv:1712.03899

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

这篇文章致力于强迫融合和组合覆盖性质之间的相互作用。我们讨论已知的这种相互作用的实例，以及提出一个新的，即在拉弗模型的一致性的博雷尔猜想，Hurewicz属性是由有限产品的度量化空间。

英文摘要：

This article is devoted to the interplay between forcing with fusion and combinatorial covering properties. We discuss known instances of this interplay as well as present a new one, namely that in the Laver model for the consistency of the Borel's conjecture, the Hurewicz property is preserved by finite products of metrizable spaces.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

一致地，不存在具有Sacks或Laver性质的非平凡ccc力迫概念

Consistently there is no non trivial ccc forcing notion with the Sacks or Laver property

Boban Velickovic提出了以下问题：是否存在一个具有Sacks属性的非平凡力迫概念，它也是ccc？这个问题的一个"可定义的“变体在[Sh：480]（math.LO/9303208）中得到了回答：每个具有Sacks性质的非平凡Souslin力迫概念都有一个不可数的反链。证明了每个具有Sacks性质的非平凡力迫概念都有不可数反链是相容的。独立地，维利科维奇也证明了这一说法的一致性。

2000-03-23math.LO

滤层可测性

Filter-Laver Measurability

我们研究了σ-理想和正则性有关的“过滤器-拉弗”和“双过滤器-拉弗”强迫偏序。使这项研究成为可能的一个重要创新是Miller [1]最近证明的二分法定理。[1]Arnold Miller，“Hechler and Laver Trees”，Preprint 2012（arXiv：1204.5198 [math.LO]）.

2016-12-13math.LO

关于与Laver树和Miller树相关的理想

On ideals related to Laver and Miller trees

该研究针对由$\mathcal{I}$-正Miller树、$\mathcal{I}$-正Laver树生成的两类理想，分析其共尾数大于连续统基数$\mathfrak{c}$的情况，同时计算相关的基数不变量，推进了集合论中树理想与基数不变量的关联研究。

2024-11-19math.LO

Marczewski型理想的余终性

Cofinalities of Marczewski-like ideals

我们证明了米勒理想m^0（与米勒强迫自然相关的σ-理想）和拉弗理想ell^0（与拉弗强迫相关）的共尾性都大于ZFC中连续统的大小。

2016-11-24math.LO

关于树理想

On tree ideals

设l^0和m^0分别是与拉弗强迫和米勒强迫相关的理想。我们证明了add（l^0）< cov（l^0）和add（m^0）< cov（m^0）是一致的。我们还表明，无论是拉弗和米勒强迫塌缩连续的基数<= h。

1993-11-15math.LO

更有说服力的力迫概念暗示钻石

More forcing notions imply diamond

我们证明了Sacks强迫使连续统崩溃到支配数d上，回答了Carlson和Laver的问题。接下来，我们证明，如果一个适当的强制的大小在最连续的崩溃ω_2，然后它迫使diamond_{omega_1}。

1994-08-15math.LO

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

一个参数化的$\diamondsuit$用于Laver性质和$\mathcal P(ω)/\mathrm{Fin}$的非平凡自同构

A parametrized $\diamondsuit$ for the Laver property and nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$

University of North Carolina at Charlotte（北卡罗来纳大学夏洛特分校）

本文提出参数化$\diamondsuit(\mathsf{LP})$原理，证明其在特定forcing模型中成立，并展示其导致$\mathcal P(ω)/\mathrm{Fin}$存在非平凡自同构。

2026-01-27math.GNmath.LO

力迫扩张中的可定义极大离散集

Definable maximal discrete sets in forcing extensions

设$\mathcal R$是一个$Σ^1_1$二元关系，回想一下，如果$A$中没有两个元素与$\mathcal R$相关，则集合$A$是$\mathcal R$ -离散的。我们证明了在$L$的Sacks和Miller力迫扩张中存在一个$Δ^1_2$极大$\mathcal{R}$ -离散集.我们用这个回答在否定的主要问题提出的\cite{Fischer2010}表明，在萨克斯和米勒扩展有一个$Π^1_1$最大正交家庭（“MOF”）的波莱尔概率措施康托空间。相反，我们表明，如果有一个Mathias真正的$L$，那么就没有$Σ^1_2$ mofs。

2022-09-29math.LO

Forcing Diamond 及其在可迭代性中的应用

Forcing Diamond and Applications to Iterability

本文证明高阶Sacks力迫与club Miller力迫可添加diamond序列，并肯定回答了κ-Sacks力迫的κ-支撑迭代不坍缩κ+且为κ-proper的长期问题，结果适用于其他高阶树力迫。

2025-04-11math.LO

科恩保护与独立

Cohen Preservation and Independence

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

2022-08-21math.LO

经典力迫概念的组合性质

Combinatorial properties of classical forcing notions

我们讨论了添加一个实数（对于添加实数的各种力迫概念）对与连续统相关的基数不变量（如无界数或支配数或与实数线上的测度和范畴相关的基数）的影响。对于随机强迫和科恩强迫，这个问题由Cicho 'n和Pawlikowski研究;对于Hechler强迫，由Judah，Shelah和我自己研究。我们在这里展示：（1）增加一个最终不同的或局部化的实数邻接一个大小为连续统的Luzin集和一个大小为ω_1的mad族;（2）Laver和Mathias迫使控制数坍缩到ω_1-结果：（A）CON（d=omega_1 + unif（L）= unif（M）= kappa = 2^omega）;（B）两个拉弗或马蒂亚斯实数迭代相加总是强制CH（偶菱形）;（C）Sigma^1_4-Mathias绝对性蕴含Sigma^1_3- Ramsey性质;（3）米勒有理完满集强制保持公理MA（以sigma为中心）。

1993-09-09math.LO

余有限群与射影良序

Cofinitary groups and projective well-orders

本文引入紧余有限群概念以刻画极大余有限群在多种力迫偏序下的不可毁性，并利用新的稳健编码技术证明 $\mathfrak{a}_g=\mathfrak{d}<\mathfrak{c}=\aleph_2$ 与实数 $Δ^1_3$-良序及余解析见证的相对一致性。

2025-05-07math.LO