首页/论文/1609.01032

arXiv 1609.010322016-09math.LO

实数的可数OD集属于基模型

Countable OD sets of reals belong to the ground model

Vladimir Kanovei, Vassily Lyubetsky

备注：: 16 pages
发表信息：: Archive for Mathematical Logic, 2018, Vol. 57, Iss. 3-4, P. 285-298
DOI：: 10.1007/s00153-017-0569-0

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在Cohen，Solovay-随机，支配和Sacks泛型扩张中，每个可数的序数可定义的实数集都属于基论域

英文摘要：

It is true in the Cohen, Solovay-random, dominaning, and Sacks generic extension that every countable ordinal-definable set of reals belongs to to the ground universe

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

强制可数结构属于基模型

Forcing a countable structure to belong to the ground model

假设$P$是一个强制概念，$L$是一种语言（在$V$中），$\dotτ$是一个$P$ -name，使得$P\Vdash$“$\dotτ$是一个可数的$L$ -structure”。在产品$P\times P$中，存在名称$\dot{τ_{1}},\dot{τ_{2}}$，使得对于任何通用滤波器$G=G_{1}\times G_{2}$在$P\times P$、$\dotτ_{1}[G]=\dotτ[G_{1}]$和$\dotτ_{2}[G]=\dotτ[G_{2}]$上。Zapletal询问$P \times P \Vdash \dotτ_{1}\cong\dotτ_{2}$是否意味着存在一些$M\in V$，使得$P \Vdash \dotτ\cong\check{M}$。我们对此作出否定的回答，并讨论相关问题。

2015-04-01math.LO

在Cohen泛型扩张中，每个可数实集OD都属于基模型

In Cohen generic extension, every countable OD set of reals belongs to the ground model

在L的科恩泛型扩张（可构造宇宙）中，每一个可数的序数可定义的实数集都属于L。

2016-07-11math.AGmath.LO

极限滤子与可数支持对称迭代中的依赖选择

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations

本文研究了可数支持对称迭代中极限滤子的构造及其在ZF和DC中的应用，证明了特定模型满足ZF和DC，并展示了ω₁-完备滤子对控制AC失败程度的重要性。

2026-09-14math.LO

泛型扩张中的可计算结构

Computable structures in generic extensions

在本文中，我们调查的结构之间的连接存在于每一个泛型扩张的宇宙$V$和可计算性理论。我们引入的概念{ \em通用Muchnik reductions}，可以用来比较不可数结构的复杂性，我们建立这种reductions的基本属性，并研究它的上下文中的{ \em通用presentability}，存在的副本的结构在每个扩展由一个给定的强制。我们表明，每一个力迫概念，使$ω_2$可数一般地提出了一些可数的结构，在地面模型中没有副本;和每一个结构一般presentable由一个力迫概念，不使$ω_2$可数有一个副本在地面模型。我们还表明，任何可数结构$\mathcal{A}$，是一般的强制概念不崩溃$ω_1$有一个可数的副本在$V$，因为任何结构$\mathcal{B}$一般Muchnik可还原为结构$\mathcal{A}$的基数$\aleph_1$。前一个肯定结果给出了Harrington关于Vaught猜想的反例具有幂模型$\aleph_1$的一个新的证明，其Scott秩在$ω_2$之下任意高.最后，我们证明了一个刚性结构的副本在所有泛型扩张由一个给定的强制有一个副本已经在地面模型。

2014-12-10math.LO

Nagata猜想与泛型扩张的可数紧化

Nagata's conjecture and countably compactifications in generic extensions

Nagata证明了每个$M$ -空间同胚于一个列紧空间和一个度量空间的乘积的闭子空间。这一猜想被Burke和van Douwen以及A.加藤，独立。然而，我们可以证明存在一个c.c.c.偏序集$P$的大小为$2^ω$，使得在$V^P$中，Nagata猜想对于来自基模型的每个第一可数正则空间成立（即，如果第一可数正则空间$X\in V$是$V^P$中的$M$ -空间，则它同胚于$V^P$中的列紧空间和度量空间的乘积的闭子空间）。事实上，我们证明了在$V^P$中每个第一可数正则空间都有第一可数紧扩张，并应用了Morita的一些结果.作为推论，我们得到了在$V^P$模型中，每个来自基模型的第一可数正则空间都有一个最大的第一可数扩张。

2006-10-13math.GNmath.LO

局部有限单纯复形的Borel可结构性

Borel structurability by locally finite simplicial complexes

证明了可由$n$维可收缩单纯复形构造的可数Borel等价关系嵌入到可由这样的复形构造的等价关系中，并进一步证明了每个顶点至多属于$M_n := 2^{n-1}(n^2+3n+2)-2$边的性质，这推广了Jackson-Kechris-Louveau在$n = 1$情形下的一个结果.证明是基于一个经典的结果Whitehead可数CW-复形。

2017-09-21math.GNmath.LO

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

随机泛型的等价性并非本质自由

Equivalence of Random Generics Is Not Essentially Free

该研究针对ZFC模型上随机泛型的等价关系，结合Popa超刚性等工具证明其正测度限制不可弱归约到本质自由等价关系。

2026-08-25math.LO

关于一般论域中Souslin关系的Glimm-Effros二分法

On a Glimm -- Effros dichotomy theorem for Souslin relations in generic universes

证明了：如果每个实数都属于可构造宇宙的一个泛型扩张，则实数上的每个E_1^1等价E要么允许Delta_1^HC约化为所有可数二元序列的集合2^{< \om_1 }上的等式，要么连续嵌入Vitali等价E_0.证明是基于OD集生成的拓扑结构。

1995-08-02math.LO

具有可数支持和<κ-支持的对称迭代：一种选择性ZF扩展的框架

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions

本文提出了一种基于对称迭代的框架，用于扩展选择性ZF，并在不同支持条件下实现了对称构造和DC的保持。

2026-09-11math.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 complexity of the reals in inner models of set theory

可构造实数集的通常定义是$Σ^1_2$。这个集合可以有一个更简单的定义，例如，如果它是可数的，或者如果每个实数都是可构造的。H.弗里德曼问，可构造的实数集是否可以是解析的，甚至是非平凡的波莱尔。K提出了一个相关的问题。Prikry：存在不可构造的可构造实数的完满集吗？本文的主要结果是对弗里德曼问题的否定回答。事实上，我们证明，如果$M$是一个内部模型的集合论和一套真正的$M$是分析，然后要么所有的真正是在$M$或其他$\aleph _1^M$是可数的。我们还将这一结果推广到更高层次的适当的大基数假设下的投影层次。关于Prikry的问题，我们表明，答案是否定的，如果“完美的”是由“超完美”，但它可以是积极的，如果“建设”是由“属于一些内部模型$M$“。

1995-01-02math.LO

地面模型可定义性

On ground model definability

Laver和Woodin独立地证明了${\rm ZFC}$的模型在它们的集合-力迫扩张中是可统一定义的，使用一个地面模型参数。我们调查地面模型的${\rm ZFC}$，特别是${\rm ZF}+{\rm DC}_δ$和${\rm ZFC}^-$的碎片模型的可定义性，我们得到了积极和消极的结果。推广了Laver和Woodin的结果，我们证明了${\rm ZF}+{\rm DC}_δ$的模型在它们的集合力迫扩张中是一致可定义的，通过偏序集允许在$δ$有一个缺口，使用一个基模型参数.特别地，这意味着${\rm ZF}+{\rm DC}_δ$的模型在其力迫扩张中可以由大小小于$δ$的偏序集统一定义。我们还表明，它是一致的地面模型的可定义性失败的模型${\rm ZFC}^-$的形式$H_{κ^+}$。使用强制，我们产生了一个${\rm ZFC}$宇宙中，有一个基数$κ>\!>ω$，使$H_{κ^+}$是不可定义的科恩力迫扩张。作为推论，我们证明了总有一个可数的${\rm ZFC}^-$可迁模型违反了基模型的可定义性.事实证明，这些结果与${\rm ZFC}$模型的地面模型可定义性有关。它遵循从我们的证明方法，遗传尺寸的参数，Woodin用来定义一个${\rm ZFC}$模型在其集-力迫扩张是最好的可能。

2013-11-26math.LO