The generalized continuum hypothesis above a strongly compact cardinal
Einstein Institute of Mathematics（爱因斯坦数学研究所）；The Hebrew University of Jerusalem（希伯来大学）
本文证明若κ为强紧基数且GCH在κ之下成立，则GCH整体成立，解答了Woodin的长期开放问题。
2026-10-08 math.LO
Under the Continuum Hypothesis all nonreflexive Banach space ultrapowers are primary
本文刻划了一类大的准巴拿赫空间。也就是说，它将证明，在连续统假设下，任何无限维非超自反巴拿赫空间的超幂总是主要的。因此，任何无限维非超自反巴拿赫空间都可以等距嵌入到它的准超幂中。
2011-07-08 math.FA math.LO
The measuring principle and the continuum hypothesis
本研究通过不添加新实数的力迫构造证明 Measuring 原理成立，并证明其与大连续统相容，从而解答了 Justin Moore 的两个著名问题。
2024-01-27 math.LO
Some Representation Theorem for nonreflexive Banach space ultrapowers under the Continuum Hypothesis
本文证明了在连续统假设（CH）下，每个非自反巴拿赫空间超幂空间与Parovicenko空间上的连续有界实值函数空间等距同构.这个表示定理将有助于证明非自反巴拿赫空间超幂的几何和拓扑性质。
2011-07-08 math.FA math.LO
The Keisler-Shelah isomorphism theorem and the continuum hypothesis II
我们继续在[Sh：1215]中开始的关于Keilser-Shelah同构定理和连续统假设之间关系的研究。特别是，我们表明它是一致的，连续统假设失败，并为任何给定的序列$\mathbf m=\langle (\mathbb{M}^{1}_n, \mathbb{M}^{2}_n: n < ω\rangle$的模型的大小最多$\aleph_1$在可数语言，如果该序列满足一个温和的额外的属性，然后为每个非主要超过滤器$\mathcal D$ $ω$，如果超积$\prod\limits_{\mathcal D} \mathbb{M}^{1}_n$和$\prod\limits_{\mathcal D} \mathbb{M}^{2}_n$是基本等价的，那么它们是同构的。
2022-10-27 math.LO
How the continuum hypothesis could have been a fundamental axiom
通过历史思想实验，论证连续统假设本可被视为数学乃至微积分不可或缺的基本公理。
2024-07-22 math.LO
The Keisler-Shelah isomorphism theorem and the continuum hypothesis
我们证明了，如果对可数语言中任意两个大小至多连续的初等等价结构$\mathbf{M}, \mathbf{N}$，对于$ω,$上的某个超滤子$\mathcal{U}$，$\mathbf{M}^ω/ \mathcal{U} \simeq \mathbf{N}^ω/ \mathcal{U}$成立，则$CH$成立.在没有$CH$的情况下，我们也给出了关于Keisler和Shelah同构定理的一些一致性结果.
2022-05-10 math.LO
Measuring club sequences, together with the Continuum Hypothesis
我们回答了摩尔的一个问题，通过建立一个力迫扩张满足测量与CH。建设工程的ZFC的任何模型，可以被描述为一个强制迭代可数结构作为侧条件和对称性约束。此外，我们表明，这种结构的一个小的变化产生的测量模型与连续大于第二个不可数基数。
2011-11-10 math.LO
The $ \mathbfΣ^1_2$ counterparts to statements that are equivalent to the Continuum Hypothesis
我们认为自然的$Σ^1_2$可定义的类似物的许多经典的声明已被证明是等价于CH。它表明，这些$Σ^1_2$类似物是等价的，所有的实数是可构造的。我们还证明了两个分区关系的$Σ^1_2$着色，正好举行时，有一个非建设性的真正的。
2012-11-26 math.LO
Is the dream solution to the continuum hypothesis attainable?
连续统假设（CH）的理想解是这样一种解，即我们根据新发现的集合论的基本原理来解决连续统假设，这是一个缺失的公理，被广泛认为是正确的。这样一个梦想的解决方案确实是一个解决方案，因为我们都将接受新的公理及其后果。然而，在本文中，我认为这样一个理想的CH解决方案是无法实现的。这篇文章改编自我的文章“集合论多元宇宙”，并在其中进行了扩展，该文章将发表在《符号逻辑评论》（见arXiv：1108.4223）中。
2012-03-19 math.LO
A formalization of forcing and the unprovability of the continuum hypothesis
我们在精益3定理证明器中使用布尔值模型描述了强制的形式化，包括强制的基本定理和一阶逻辑与布尔值可靠性定理的深度嵌入。作为我们的框架的应用程序，我们专门我们的建设，定期开放的康托空间$2^{ω_2 \times ω}$的布尔代数，并正式验证失败的连续假设在由此产生的模型。
2019-04-23 cs.LO math.LO
A Cheerful Introduction to Forcing and the Continuum Hypothesis
这是一个介绍集合论方法的强制，包括它的应用证明独立的连续统假设从泽梅洛-弗兰克尔公理的集合论。除了对集合论和数理逻辑有一定的了解之外，我不预设任何特定的数学背景--特别是，不预设任何代数，尽管它可能很有用。我们的目标是有一个文件，使这一材料可访问的数学研究生在所有领域，哲学家有兴趣在集合论和数理逻辑，但没有其他数学背景。
2007-12-14 math.GM math.LO
Chance and the Continuum Hypothesis
本文提出并捍卫一个论点，连续统假设是假的，基于考虑客观机会和一个老定理，由于巴拿赫和库拉托夫斯基。更具体地说，我认为，概率归纳方法standardised在科学中使用的前提是，每一个命题的结果，一个偶然的过程有一定的机会在0和1之间。我也主张赞成标准的观点，即机会是可数的加法。由于可以随机选择连续统上的一个点，例如使用轮盘赌轮或通过翻转可计数的无限个公平硬币，因此，考虑到ZFC的公理，在可计数的无限和连续统的基数之间存在许多不同的基数。
2021-12-06 math.HO math.LO
Countryman Lines and the Continuum Hypothesis
University of North Texas（北德克萨斯大学）
研究与连续统假设一致的阿隆扎扬线类的类似基结果，证明任意两条康特曼线包含同构或反同构不可数子序等陈述与CH一致，还表明弱钻石原理下不存在康特曼线的二元基，证实了谢拉在CH下的猜想。
2026-07-28 math.LO
Bar recursion in classical realisability : dependent choice and continuum hypothesis
本文在经典可实现性的背景下讨论了棒递归算子。在Berardi，Bezem & Coquand [1]，T. Streicher在[10]中利用他们的棒递归算子证明了由$λ$ -演算（Scott域，相干空间，. . .),满足依赖选择公理。我们给出了这个结果的证明，使用经典的可实现性的工具。此外，我们还证明了这些可实现性模型满足$\mathbb{R}$的良序性和连续性假设。因此，这些公式是由封闭的$λ_c$ -项实现的。这允许获得程序证明算术公式使用所有这些公理。
2016-05-16 cs.LO math.LO
A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
本文构造形如 $L[A,U]$ 的类 Kunen 模型，在单个可测基数 $\kappa$ 下保持超滤子简单结构，却令 $2^\kappa=\kappa^{++}$，回答 Goldberg 关于 Ultrapower Axiom 下 CH 失败的问题。
2024-12-07 math.LO
Indestructible Guessing Models and the Continuum
我们介绍了一个更强的版本的$ω_1$猜测模型，我们称之为不可破坏的$ω_1$猜测模型。IGMP原则指出，存在固定的许多不可破坏的$ω_1$猜测模型。这一原则，从PFA，捕捉PFA的许多后果，包括苏斯林假设和奇异基数假设。我们证明了IGMP是一致的连续是任意大的。
2019-07-06 math.LO
Topology, Metric Spaces and the Generalized Continuum Hypothesis
这篇论文的目的是用Baire范畴来解释集合的基数，即在集合本身变得可以忽略之前，可以从集合中删除多少个闭无处稠密集。.为了做到这一点，引入了自然树理论结构，如Baire拓扑，并将Baire范畴定理扩展为一个陈述，即具有基数$\aleph$的闭合基并且没有孤立点或离散点的Hausdorff拓扑空间的$\aleph$ -顺序完全二叉树表示不是$<\aleph+1$ -基数$\aleph\ge\aleph_{0}$的许多无处稠密子集的并集，其中$\aleph$ -序列完备拓扑空间是这样的空间，其中每个函数$f:\aleph\rightarrow\{0.1\}$使得$(\forall x)(x\in f\rightarrow x\in\in X)\rightarrow(f\in X)$。它表明，如果$\aleph<\left|X\right|\le2^{\aleph}$为$\left|X\right|$的集合$X$的基数，那么它是可能的，以迫使$\left|X\right|-\aleph\times\left|X\right|\ne\emptyset$通过删除一个稠密序列的$\aleph$特别选择的闭集，而如果任何稠密序列的$\aleph+1$闭集被删除，然后$\left|X\right|-(\aleph+1)\times\left|X\right|=\emptyset$。这就产生了基数的…
2020-01-12 math.GN math.LO
Flatness and Nonforking without the Continuum Hypothesis
本研究在不假设连续统假设的前提下研究FN基的结构，通过分析特定超滤子行为、分离替代CH的模型论条件，证明相关性质可在ZFC中恢复，完善了Ng的平坦性与非分叉可定义性结果。
2025-09-01 math.LO
A long chain of P-points
本文引入P点的$δ$ -类属序列的概念。在连续统假设下，证明了对于每个$δ< ω_{2}$，P点的任何$δ$ -类属序列都可以扩展为一个$ω_{2}$ -类属序列.这表明，连续统假设意味着存在一个长度为${\mathfrak{c}}^{+}$的P-点链，关于Rudin-Keisler和Tukey约简。证明可以很容易地适应，以获得这样一个链的长度${\mathfrak{c}}^{+}$下一个更一般的假设，如马丁的公理。这些结果回答了Andreas Blass的一个老问题。
2016-07-25 math.GN math.LO
The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem
我们发现，$Π_2$ -属性的二阶或三阶算术正式在适当的自然签名的强制性明显较弱的概念重叠的标准概念的一致性（假设大基数公理）。在这样的$Π_2$ -属性，我们提到：否定的连续统假设，苏斯林假设，否定怀特海猜想的自由群，不存在的外部自同构的卡尔金代数等.特别是，这给出了一个后验的解释，成功迫使（和迫使公理）在生产模型，这些属性。我们的主要结果涉及通用的绝对性定理二阶算术，Woodin的公理$(*)$和迫使公理罗宾逊的概念模型伴侣（适用于集合论）。我们还简要概述了这些结果以何种方式提供了一个论点，以反驳连续统假设。
2021-01-19 math.LO
Independence of the Continuum Hypothesis: an Intuitive Introduction
连续统假设的独立性是广泛影响的结果：它解决了关于N和R这两个最熟悉的数学结构的性质的基本问题;它引入了已经成为集合论主要工具的强迫方法;它对数学基础以及句法与语义的作用有着广泛的影响。尽管它有广泛的影响，但它并没有被广泛地教授。一个主要原因是缺乏非专业人士可以理解的论述，因为证明中使用的数学结构和技术在集合论之外是不熟悉的。这份手稿的目的是采取一个步骤，通过提供一个先进的本科数学家和理论计算机科学家可以访问的水平的博览会，同时涵盖了证明的所有技术上具有挑战性的部分，以解决这一差距。
2022-09-02 cs.LO math.HO math.LO
The Generalized Continuum Hypothesis revisited
我们认为，我们解决了希尔伯特的第一个问题，积极（重新制定后，只是为了避免已知的一致性结果），并给出了一些应用。令lambda的修正kappa幂，记作lambda^{[kappa]}，是lambda的子集族的最小基数，每个子集的基数为kappa，使得基数为kappa的lambda的任何其他子集都包含在该族的<kappa成员的并集中。主定理说，几乎总是这个修正的功率等于λ。我们的主要结果是修正的GCH定理：假设我们固定一个不可数的强极限基数mu（即，mu>aleph_0，（对于所有θ <mu）（2 θ <mu）），例如mu=beth_omega。然后，对于每个lambda >= mu，对于某个kappa<mu，我们有：（a）kappa <= theta < mu => lambda^{[theta]}= lambda和（b）有一个lambda子集的族P，每个lambda子集的基数< mu，使得每个基数mu的lambda子集等于P的< kappa成员的并集。
1998-09-15 math.LO
On squares of spaces and Fsigma-sets
我们证明了连续统假设意味着存在Lindelof空间X使得X x X是两个可度量化子空间的并但X不是可度量化的.这给出了Balogh，Gruenhage和Tkachuk问题的一致解决方案。主要引理是假设连续统假设，存在实数X和Y的不相交集合，使得X是Borel集中在Y上，（即，对于任何博雷尔集B，如果Y包含在B中，则X-B是可数的），但（X x X -对角线）在（X x X）U（Y x Y）中相对于F σ。
2004-04-22 math.GN math.LO
Quantum phenomenology and the Continuum Problem
提出了一种基于连续统假设独立性的量子力学新方法。在一维情形下，证明了中间势集的性质与量子唯象相一致。
2000-01-26 math.LO quant-ph
The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis
选择选择公理（简称AC）是通常的数学基础ZFC集合论中最著名的公理。AC在数学中的（非）必要使用已经得到了很好的研究和彻底的分类。现在，在ZF中不可证明的可数AC片段最近被用于Kohlenbach的高阶逆向数学中，以获得紧密相关的紧性和局部全局原理之间的等价性。我们继续这项研究，并表明，NCC，弱选择原则证明在ZF和更弱的系统，足以满足许多这些结果。鉴于逆向数学和可计算性理论之间的密切联系，我们还研究了NCC的实现者，即从其他数据中产生选择函数的泛函。我们的傲慢承担迄今欠发达的研究（选择函数从）AC的计算特性导致有趣的结果。例如，使用Kleene的S1-S9计算方案，我们表明，各种总实现NCC计算Kleene的$\exists^3$，一个功能，产生完整的二阶算术，反之亦然。相比之下，NCC的部分实现者应该要弱得多，但建立这个猜想仍然是难以捉摸的。通过宣泄，我们证明了连续统假设（简称CH）等价于NCC的可数基部分实现者的存在性。后一种实现器不计算Kleene的$\exists^3$，因此严格弱于全实现器。
2020-11-03 math.LO
Measures that violate the Generalized Continuum Hypothesis
Rutgers University（罗格斯大学）
研究了在正则基数上存在简单P_λ-点超滤子的条件，并证明了其与多个基数的等价关系，同时改进了致密性强度下界并探讨了相关数学结构的保测性及滤子游戏的变化。
2025-12-09 math.LO
Cauchy's continuum
柯西的总和定理的1821年一直是主题的竞争对手的解释，因为罗宾逊提出了一个新的阅读在20世纪60年代。有些人声称柯西在1853年通过引入一致收敛性修正了他的定理的假设，而一致收敛的传统公式需要一对自变量。同时，柯西假设是用一个变量x而不是一对变量来表述的，并且要求误差项r_n = r_n（x）在所有x值处都为零，包括柯西明确指定的由1/n产生的无穷小值。如果一个人希望理解柯西在1853年对和定理假设的修改/澄清，他必须抛弃自动逼近极限。
2011-10-17 math.CA math.HO math.LO
Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle
第二作者最近证明了（[20]）任何选择性（a）几乎不相交的族必须具有严格小于$2^{\alpeh_0}$的基数，因此在连续统假设下这样的族必然是可数的。然而，它也表明，在同一文件中，$2^{\alpeh_0} < 2^{\alpeh_1}$单独不避免存在的不可数选择性（a）几乎不相交的家庭。本文证明了一个有效的参数化弱金刚石原理足以保证几乎不相交族的可数性。我们还讨论了这个特定的弱钻石原则的演绎强度（这是一致的否定的连续统假设，除了其他功能）。
2016-09-19 math.GN math.LO
Epic math battle of history: Grothendieck vs Nikodym
本文通过定义σ-中心力迫概念，构造出具有格罗滕迪克性质却无尼科迪姆性质的布尔代数，证明其存在与连续统假设否定一致，且可简化塔拉格兰德在连续统假设下的构造。
2024-11-29 math.FA math.GN math.LO
On supercompactness and the continuum function
给定一个基数$κ$，对于某个正则基数$λ\geqκ$，它是$λ$ -超紧的，并假设$\GCH$，我们证明了可以强迫连续函数与满足$\forallα,β\in\dom(F)$ $α<\cf(F(α))$和$α<β$ $\implies$ $F(α)\leq F(β)$的任何函数$F:[κ,λ]\cap\REG\to\CARD$一致，同时保持$κ$的$λ$ -超紧性不受一个可能最弱一致性强度的假设的影响，即，从假设存在具有临界点$κ$的初等嵌入$j:V\to M$使得$M^λ\subseteq M$和$j(κ)>F(λ)$。我们的论点将Woodin的手术修改通用过滤器的技术扩展到一个新的情况：当修改在$j$范围内进行时，Woodin的关键引理适用，而我们的论点使用一个新的关键引理来处理在鬼坐标上$j$范围外进行的修改。这项工作回答了Friedman和Honzik [FH 2012]的一个问题。我们还讨论了几个相关的开放问题。
2013-09-11 math.LO
First Countable Continua and Proper Forcing
在连续统假设下，存在一个权为aleph_1的紧致第一可数连通空间，其中不存在全不连通的完美子集。然而，每一个这样的空间都可以被某种不加实数的适当的强迫序所破坏。
2006-08-01 math.GN math.LO
A note on the Akemann-Doner and Farah-Wofsey constructions
我们从Akemann-Doner构造一个只有可分交换$C^*$ -子代数的不可分$C^*$ -代数$A$中去掉了连续统假设的假设。我们还推广了Farah和Wofsey的一个结果，在无交换提升的Calkin代数上构造了$\aleph_1$交换投影.这从Anderson的结果的一个版本中去除了连续统假设的假设。这两个结果都是基于Luzin的几乎不相交的家庭建设。
2016-02-07 math.FA math.LO math.OA
On two consequences of CH established by Sierpiński
本文考察 Sierpiński 发现的 CH 两个推论之间的关系，聚焦连续统基数实数子集上连续函数的一致连续性与实值函数序列的一致收敛性。
2023-11-02 math.LO
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman
证明了Solomon Feferman关于连续统假设相对于半直觉集合论的不确定性的一个猜想。
2014-05-18 math.LO
Generic large cardinals as axioms
我们反对Foreman的建议，解决连续统假设和其他经典的独立问题，通过采用通用的大基数公理。
2019-01-04 math.LO
Some algebraic equivalent forms of $\mathbb{R} \subseteq L$
我们研究了连续统假设的某些代数等价形式的$Σ^1_2$可定义对应。所有这些都等同于“所有真实都是可构造的”。
2016-01-18 math.LO
A polarized partition relation and failure of GCH
主要结果是，对于不满足连续统假设（即2 ^lambda> lambda^+）的lambda强极限奇异，极化分割定理成立。
1997-06-15 math.LO
The Ultrapower Axiom implies GCH above a supercompact cardinal
我们证明了广义连续统假设在超紧基数假设超幂公理的情况下成立，超幂公理是一个由超紧基数水平上的内模型论激发的抽象比较原理。
2018-10-09 math.LO
Automorphisms of corona algebras, and group cohomology
在2007年，Phillips和Weaver证明了，假设连续统假设，存在卡尔金代数的外自同构。(The卡尔金代数是可分复希尔伯特空间上的有界算子的代数，模为紧算子。在本文中，我们建立了类似的结论适用于一个广泛的家庭的商代数。具体地说，我们将证明，假设连续统假设，如果$A$是一个可分代数，这是简单的或稳定的，那么冠$A$有非平凡的自同构。我们还讨论了与上同调理论的连接，即我们的证明可以被视为一个特定的派生逆极限的基数的计算。
2014-02-27 math.LO math.OA
The Calkin algebra has outer automorphisms
在连续统假设下，证明了Calkin代数有2个^{aleph_1}外自同构.
2006-06-23 math.FA math.LO math.OA
On the pointwise implementation of near-actions
我们表明，连续统假设意味着每一个措施保持近行动的一组标准的Borel概率空间$(X,μ)$有一个逐点实现的Borel措施保持自同构。
2009-10-04 math.LO
Definable discrete sets with large continuum
本文证明在迭代萨克斯迫法扩张中存在极大可定义离散集，与连续统假设否定相容，并应用于构造极大正交测度族。
2025-10-27 math.LO
On a theorem of Banach and Kuratowski and K-Lusin sets
在1929年的一份文件中，巴拿赫和库拉托夫斯基证明，假设连续统假设，一个组合定理，这意味着没有非零的西格玛加性有限措施的真正的线上定义的每一套reals。它将被证明，组合定理是等价的存在的一个K-Lusin集的大小连续和存在这样的集是独立的ZFC加上非CH。
2001-07-23 math.LO
The onto mapping property of Sierpinski
定义（*）存在$(ϕ_n:ω_1\to ω_1:n<ω)$，使得对于作为$ω_1$的子集的每个不可数的$I$，存在$n$，使得$ϕ_n$将$I$映射到$ω_1$上。这大致是谢尔宾斯基在他的书中的连续统假设所指的$P_3$，但我认为他带来了真正的数线到它。我不知道法语，所以我不能肯定地说，他说，但我认为他证明，（*）遵循的连续统假设。我们证明了Luzin集的存在蕴涵（*）;并且（*）蕴涵存在一个大小为$ω_1$的实数的非贫乏集.我们还证明了（*）成立是相对一致的，但不存在Luzin集.本文中的所有其它性质（**），（S*），（S**），（B*）都证明与（*）等价.
2014-08-12 math.LO
Explicit Morphisms in the Galois-Tukey Category
本文通过将连续统基数特征不等式中的底层态射显式化，重新表述传统直接证明，并给出新的纯范畴论结果。
2025-04-10 math.LO
Gödel's Program in Set Theory
本文围绕集合论中的哥德尔纲领，介绍了用于判定自然数学命题的公理候选V = Ultimate-L与Sealing方案，并阐述二者的影响及相互关系。
2024-12-12 math.LO
Independence of the existence of Pitowsky spin models
1982年，I.皮托夫斯基利用连续统假设为量子力学中自旋为1/2和自旋为1的粒子建立了隐变量模型。我们证明了Pitowsky模型的存在性与ZFC无关。
2012-12-01 math.LO quant-ph
Set theory and C*-algebras
我们调查使用额外的集理论的假设，主要是连续统假设，在C*-代数文献。卡尔金代数成为人们感兴趣的基本对象。
2006-04-09 math.FA math.LO math.OA
Not all pure states on B(H) are diagonalizable
在连续统假设下，我们证明了B（H）有一个纯态，它对任何masa的限制都是不纯的。这否定地解决了安德森的一个旧猜想。
2006-06-07 math.FA math.LO math.OA
