首页/论文/math/9406229

arXiv math/94062291994-06-15math.LO

添加一个随机实数

Adding one random real

Tomek Bartoszyński, Andrzej Rosłanowski, Saharon Shelah

发表信息：: J. Symbolic Logic 61 (1996), 80--90

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

研究了增加一个随机实数后测度和范畴的基数不变量。特别地，我们证明了覆盖所有连续函数的图所需的平面的测度零子集的数目可能很大，而测度的覆盖很小。

英文摘要：

We study the cardinal invariants of measure and category after adding one random real. In particular, we show that the number of measure zero subsets of the plane which are necessary to cover graphs of all continuous functions maybe large while the covering for measure is small.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

通过增加一些随机实数来增加很多随机实数

Adding a lot of random reals by adding a few

我们研究$ZFC$的模型对$(V, V_1)$，使得在$V_1$上添加$κ$ -许多随机实数在$V$上添加$λ$ -许多随机实数，对于某些$λ> κ.$，

2017-07-25math.LO

添加许多随机实数可能会添加许多科恩实数

Adding many random reals may add many Cohen reals

设$κ$是无限基数。然后，强制使用$\mathbb{R}(κ)$ $\times$ $\mathbb{R}(κ)$为$\mathbb{C}(κ);$添加泛型滤子，其中$\mathbb{R}(κ)$和$\mathbb{C}(κ)$分别是用于添加$κ$ -许多随机实数和添加$κ$ -许多科恩实数的力迫概念。

2017-01-16math.LO

添加一个随机实数及其对Martin公理的影响

Adding a random real number and its effect on Martin's axiom

我们证明了添加一个随机实数破坏了马丁公理的一个大片段，即具有预自由- $\aleph_1$的偏序的马丁公理，从而回答了J. Roitman [9]的一个老问题。我们还回答了J. Steprans和S. Watson [13]通过证明，通过保持基数的强制，可以破坏偏序的precalibre- $\aleph_1$属性，同时保持其ccc-性。

2019-08-28math.LO

Cohen实或随机实：对强测度零集和强贫乏集的影响

Cohen real or random real: effect on strong measure zero sets and strongly meager sets

我们表明，地面模型reals的集合有强措施零（是强烈微薄）后，增加了一个单一的科恩真正的（随机真实）。因此，我们证明了在增加一个Hechler实数后，地模型实数的集合具有强测度零。

2020-05-25math.LO

通过添加几个II来添加大量科恩雷亚尔

Adding a lot of Cohen reals by adding a few II

我们研究$(V, V_{1})$、$V \subseteq V_1$、$ZFC$的模型对，使得对于某些$λ> κ$，在$V_{1}$上添加$κ-$许多科恩实数，在$V$上添加$λ-$许多科恩实数。

2015-03-15math.LO

通过添加一些I来添加大量的科恩雷亚尔

Adding a lot of Cohen reals by adding a few I

在本文中，我们产生的模型$V_1\subseteq V_2$的集合论，使添加$κ$ -许多科恩实数到$V_2$添加$λ$ -许多科恩实数到$V_1$，对于某些$λ>κ$。我们主要处理$V_1$和$V_2$具有相同基数的情况。

2015-03-15math.LO

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

添加 $θ$ 个随机实数的测度代数是 $θ$-FAM-linked 的

The measure algebra adding $θ$-many random reals is $θ$-FAM-linked

本文利用概率论工具改进了 Shelah 的证明，证明了具有满足 $θ$-density 性质的严格正概率测度的完全布尔代数是 $θ$-FAM-linked 的，从而得出添加 $θ$ 个随机实数的测度代数是该力迫概念的新实例。

2025-05-02math.LO

通过增加一些科恩雷亚尔，

Adding a lot of Cohen reals by adding a few

本文的目的是产生模型V_1 \subset V_2，使得在V_2上加kappa-许多Cohen实数在V_1上加λ Cohen实数。一些结果：1.设V满足GCH，kappa = \cup kappa_n= \cup o（kappa_n）.然后存在V的一个基数保持泛型扩张V_1，它满足GCH，并且具有与V相同的实数，因此在V_1上加上kappa许多Cohen实数就产生了V上的kappa^+ Cohen实数。假设V是GCH的一个模型。则存在一个保共尾扩张V_1满足GCH，使得在V_1上加一个Cohen实数产生V_1上的aleph_1 Cohen实数。存在L的一对（W，W_1）类属保共尾扩张，使得W包含在W_1中，且W_1包含一个不在W中的W-实的完满集.最后一个陈述是B.Velickovic和H.Woodin关于Prikry问题的结果的一个微小改进。

1995-07-05math.LO

不添加实数的特化宽Aronszajn树

Specializing Wide Aronszajn Trees without Adding Reals

我们表明，在某些情况下，广泛的Aronszajn树可以专门迭代不添加reals。然后，我们使用这个事实来研究强迫公理兼容CH和列出一些开放的问题。

2020-05-28math.LO

添加 $\aleph_ω$ 多个 Cohen 实数

Adding $\aleph_ω$ many Cohen reals

本文研究了添加 $\aleph_ω$ 和 $\aleph_{ω+1}$ 多个 Cohen 实数后的扩展差异，并提出了一种数学原则来解释这种差异。

2025-11-24math.LO

A Sacks Real Out of Nowhere（英语：A Sacks Real Out of Nowhere）

A Sacks Real out of Nowhere

存在长度为$ω$的真可数支撑迭代，在有限阶段不添加新的实数，并在极限中添加Sacks实数。

2009-04-29math.LO

随机实数模型中的超滤子

Ultrafilters in the random real model

本文证明了在添加少于$\aleph_ω$个随机实数的力迫扩张中存在P点和Gruff超滤子，改进并纠正了文献中的先前定理。

2025-09-17math.LO

控制基本特征而不添加实数

Controlling cardinal characteristics without adding reals

我们研究了实数的基数特征在不增加新的${<}κ$ -序列的扩展下的行为（对于某些正则$κ$）。作为一个应用程序，我们表明，一贯的以下主要特征可以是不同的：（“独立”）的特性在Chichocoline的图，加上$\aleph_1<\mathfrak m<\mathfrak p<\mathfrak h<\mathrm{add}(\mathcal{N})$。(So我们得到13个不同的值，包括$\aleph_1$和continuum）。我们还给出了交替分离其他MA数（而不是$\mathfrak m$）的构造，即：从MA for $k+1$-Knaster分离出$k$ -Knaster的MA;从MA for precaliber分离出所有$k$ -Knaster强迫的并集的MA.

2021-05-15math.LO

科恩实数相加的组合原理

Combinatorial principles from adding Cohen reals

在本文中，我们首先建立了关于Ω子集的kappa \times Ω矩阵的几个“组合原理”，并证明了它们在任意基模型V上加任意数量的Cohen实数所得到的泛型扩张中是有效的，只要参数kappa是V中的Ω不可达正则基数.然后我们给出了这些原理的大量应用，主要是在拓扑学中.这些结果中的一些已经在较早的一般扩展中建立起来，这些扩展是通过将ω_2科恩实数添加到满足CH的基础模型中获得的，主要是在kappa= ω_2的情况下。

1996-05-14math.GNmath.LO

不加Cohen实数的以σ为中心的完备布尔代数

Complete sigma-centered Boolean algebra not adding Cohen reals

证明了存在一个完备的、无原子的、以σ为中心的布尔代数，它不包含任何正则可数子代数当且仅当存在无处稠密超滤子。因此，在ZFC中这类代数的存在性是不可判定的。

1997-12-15math.GNmath.LO

加入实数后测度的收敛性

Convergence of measures after adding a real

证明了如果$\mathcal{A}$是基模型$V$中的一个无限布尔代数，且$\mathbb{P}$是一个强制添加任意下列实数的概念：一个Cohen实数，一个不可分裂实数，或一个随机实数，那么，在任何$\mathbb{P}$类泛型扩张$V[G]$中，$\mathcal{A}$既不具有Nikodym性质，也不具有Grothendieck性质.对于支配实数和Nikodym性质也证明了类似的结果。

2022-12-06math.FAmath.GNmath.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

用一个真正的

Killing the GCH everywhere with a single real

Shelah-Woodin研究了通过添加单个实数来违反$GCH$实例的可能性。特别是他们表明，它是可能的，以获得一个失败的$CH$通过添加一个单一的真正的模型$GCH$，保持共尾性。在这篇文章中，我们加强他们的结果表明，这是可能违反$GCH$在所有无限基数增加一个单一的真正的模型$GCH.$我们的假设是存在一个$H(κ^{+3})$ -强基数，通过工作的Gitik和米切尔，它是已知的，超过一个$H(κ^{++})$ -强基数是必需的。

2015-10-10math.LO

Hechler强迫的组合性质

Combinatorial properties of Hechler forcing

在这项工作中，我们使用的概念排名第一介绍詹姆斯鲍姆加特纳和彼得Dordal和后来独立开发的第三作者表明，增加一个Hechler真正有很强的组合后果。我们证明：1）假设ω_1^V = ω_1^L，V[d]中没有实数最终不同于L[d]中的实数，其中d是V上的Hechler; 2）增加一个Hechler实数使得Cicho 'n图左侧的不变量等于ω_1，右侧的不变量等于2 ^ω，并产生大小为ω_1的ω子集的最大几乎不相交族; 3）在V[r][d]中不存在V上随机实数的完满集，其中r是V上的随机数，d是V[r]上的Hechler，从而回答了第一和第二作者的一个问题。作为证明3）的中间步骤，我们证明了给定模型M是ZFC的子集N，使得在M上的N中存在随机实的完满集，或者在M上的N中存在支配实，或者在N中mu（2 Ω cap M）= 0。

1992-11-03math.LO

随机模型中存在P-测度

There is a P-measure in the random model

我们说$ω$上的一个可加概率测度$μ$是\emph{a P-measure}，如果它在点上为零，并且对于$ω$的无限子集的每个递减序列$(E_n)$，都有$E\subseteqω$，使得对于每个$n\inω$和$μ(E) = \lim_{n\to\infty}μ(E_n)$都有$E\subseteq^* E_n$.因此，P-测度以自然的方式推广P-点，并且已知，与P-点的情况类似，它们的存在与$\mathsf{ZFC}$无关。本文证明了在$\mathsf{CH}$模型中加入任意数量的随机实数所得到的模型中存在P-测度。作为推论，我们得到在经典随机模型中$ω^*$包含无处稠密的ccc闭P-集.

2022-04-25math.LO

接地的马丁公理

The grounded Martin's axiom

我们引入了马丁公理的一个变种，称为接地马丁公理，它断言宇宙是一个ccc力迫扩张，其中马丁公理持有偏序集在地面模型。这个原理已经包含了马丁公理的几个组合推论。新的公理被证明是一致的马丁的公理和奇异连续的失败。我们证明了接地马丁的公理是保留在一个强大的方式时，增加一个科恩真正的，并增加一个随机的真正的模型马丁的公理保留接地版本（即使它破坏了马丁的公理本身）。我们也考虑适当的强制公理的类似的变体。

2016-10-12math.LO

像素化关系与函数而不添加子结构

Pixelating Relations and Functions Without Adding Substructures

本文推广了Ben-Eliezer等人2021年的引理，证明在实数有界区间上，通过Lebesgue测度意义下的小修改，可将关系模型替换为有限描述的像素化模型，且不添加新子结构，保持全称量化语句。

2024-02-04math.COmath.LO