The measuring principle and the continuum hypothesis
Mohammad Golshani, Saharon Shelah
本研究通过不添加新实数的力迫构造证明 Measuring 原理成立，并证明其与大连续统相容，从而解答了 Justin Moore 的两个著名问题。
我们证明，可以在不添加任何新实数的情况下力迫 Measuring 原理。我们还证明了该原理与大连续统相容。这些结果回答了 Justin Moore 的两个著名问题。
We show that one can force the Measuring principle without adding any new reals. We also show that it is consistent with the large continuum. These results answer two famous questions of Justin Moore.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Measuring club-sequences with a large continuum
集合理论家在研究迭代真强迫时面临的最令人沮丧的问题之一是缺乏技术来产生连续统的大小大于第二个不可数基数的模型。在本文中，我们解决了这个问题的具体情况下，测量，一个非常强烈的否定俱乐部猜测介绍了贾斯汀摩尔。
A Formal Proof of the Independence of the Continuum Hypothesis
我们描述了一个正式的证明的独立性的连续统假设（$\mathsf{CH}$）在精益定理证明。我们使用布尔值模型给强制参数的两个方向，使用科恩强迫的一致性$\neg \mathsf{CH}$和$σ$ -封闭强迫的一致性$\mathsf{CH}$。
The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis
介绍了逻辑层的结构和设置理论的基础上，这种逻辑强制建设。使用这些工具，它是一个替代的证明独立的连续统假设，简化和统一的经典布尔和直觉的方法，避免了困难的分类机器的拓扑结构为基础的方法。
Measuring club sequences, together with the Continuum Hypothesis
我们回答了摩尔的一个问题，通过建立一个力迫扩张满足测量与CH。建设工程的ZFC的任何模型，可以被描述为一个强制迭代可数结构作为侧条件和对称性约束。此外，我们表明，这种结构的一个小的变化产生的测量模型与连续大于第二个不可数基数。
Forcing Axioms and the Continuum Hypothesis, part II: Transcending ω_1-sequences of real numbers
本文的目的是证明完全正常强迫的强迫公理与连续统假设不一致。这回答了一个长期存在的希拉问题。此外，可以使用CH构造的相应的完全正常强迫是一棵树，其平方是特殊的对角线。虽然这样的树以前曾被詹森和Kunen根据詹森的钻石原理的假设，这是第一次这样的建设已经进行了使用连续统假设。
Deciding the Continuum Hypothesis with the Inverse Powerset
通过在Zermelo-Fraenkel集合论中增加三个公理，引入了逆幂集的概念.这扩展了Zermelo-Fraenkel集合论与一个新的类型的集，这是出于直观的意义和有趣的应用。我们提出了不同的方法来扩展基数的定义，并表明，一个意味着连续统假设，而另一个意味着否定的连续统假设。我们还将探讨不同基数的空集的概念，它可以被看作是康托无穷集定理的空对应物。
The generalized continuum hypothesis above a strongly compact cardinal
本文证明若κ为强紧基数且GCH在κ之下成立，则GCH整体成立，解答了Woodin的长期开放问题。
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$是基本等价的，那么它们是同构的。
How the continuum hypothesis could have been a fundamental axiom
通过历史思想实验，论证连续统假设本可被视为数学乃至微积分不可或缺的基本公理。
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同构定理的一些一致性结果.
The $ \mathbfΣ^1_2$ counterparts to statements that are equivalent to the Continuum Hypothesis
我们认为自然的$Σ^1_2$可定义的类似物的许多经典的声明已被证明是等价于CH。它表明，这些$Σ^1_2$类似物是等价的，所有的实数是可构造的。我们还证明了两个分区关系的$Σ^1_2$着色，正好举行时，有一个非建设性的真正的。
Corrigendum to "Measuring club-sequences together with the continuum large"
测量表明，对于每个序列$(C_δ)_{δ<ω_1}$，每个$C_δ$是$δ$的闭子集，存在俱乐部$C\subseteqω_1$，使得对于每个$δ\in C$，$C\capδ$的尾部包含在$C_δ$中或与之不相交。在我们的JSL论文"测量俱乐部序列连同连续大"中，我们声称要证明测量与$2^{\aleph_0}$是任意大的一致性，从而回答了Justin Moore的一个问题。那篇论文的证明是有缺陷的。在所提出的勘误表中，我们提供了该结果的正确证明。该构造适用于ZFC + CH的任何模型，并且可以描述为执行有限支撑强制构造的结果，该构造具有由具有标记的模型的适当对称系统组成的侧条件。
Is the dream solution to the continuum hypothesis attainable?
连续统假设（CH）的理想解是这样一种解，即我们根据新发现的集合论的基本原理来解决连续统假设，这是一个缺失的公理，被广泛认为是正确的。这样一个梦想的解决方案确实是一个解决方案，因为我们都将接受新的公理及其后果。然而，在本文中，我认为这样一个理想的CH解决方案是无法实现的。这篇文章改编自我的文章“集合论多元宇宙”，并在其中进行了扩展，该文章将发表在《符号逻辑评论》（见arXiv：1108.4223）中。
Under the Continuum Hypothesis all nonreflexive Banach space ultrapowers are primary
本文刻划了一类大的准巴拿赫空间。也就是说，它将证明，在连续统假设下，任何无限维非超自反巴拿赫空间的超幂总是主要的。因此，任何无限维非超自反巴拿赫空间都可以等距嵌入到它的准超幂中。
Countryman Lines and the Continuum Hypothesis
研究与连续统假设一致的阿隆扎扬线类的类似基结果，证明任意两条康特曼线包含同构或反同构不可数子序等陈述与CH一致，还表明弱钻石原理下不存在康特曼线的二元基，证实了谢拉在CH下的猜想。
Some Representation Theorem for nonreflexive Banach space ultrapowers under the Continuum Hypothesis
本文证明了在连续统假设（CH）下，每个非自反巴拿赫空间超幂空间与Parovicenko空间上的连续有界实值函数空间等距同构.这个表示定理将有助于证明非自反巴拿赫空间超幂的几何和拓扑性质。
A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
本文构造形如 $L[A,U]$ 的类 Kunen 模型，在单个可测基数 $\kappa$ 下保持超滤子简单结构，却令 $2^\kappa=\kappa^{++}$，回答 Goldberg 关于 Ultrapower Axiom 下 CH 失败的问题。
Indestructible Guessing Models and the Continuum
我们介绍了一个更强的版本的$ω_1$猜测模型，我们称之为不可破坏的$ω_1$猜测模型。IGMP原则指出，存在固定的许多不可破坏的$ω_1$猜测模型。这一原则，从PFA，捕捉PFA的许多后果，包括苏斯林假设和奇异基数假设。我们证明了IGMP是一致的连续是任意大的。
Flatness and Nonforking without the Continuum Hypothesis
本研究在不假设连续统假设的前提下研究FN基的结构，通过分析特定超滤子行为、分离替代CH的模型论条件，证明相关性质可在ZFC中恢复，完善了Ng的平坦性与非分叉可定义性结果。
A formalization of forcing and the unprovability of the continuum hypothesis
我们在精益3定理证明器中使用布尔值模型描述了强制的形式化，包括强制的基本定理和一阶逻辑与布尔值可靠性定理的深度嵌入。作为我们的框架的应用程序，我们专门我们的建设，定期开放的康托空间$2^{ω_2 \times ω}$的布尔代数，并正式验证失败的连续假设在由此产生的模型。
A Cheerful Introduction to Forcing and the Continuum Hypothesis
这是一个介绍集合论方法的强制，包括它的应用证明独立的连续统假设从泽梅洛-弗兰克尔公理的集合论。除了对集合论和数理逻辑有一定的了解之外，我不预设任何特定的数学背景--特别是，不预设任何代数，尽管它可能很有用。我们的目标是有一个文件，使这一材料可访问的数学研究生在所有领域，哲学家有兴趣在集合论和数理逻辑，但没有其他数学背景。
Chance and the Continuum Hypothesis
本文提出并捍卫一个论点，连续统假设是假的，基于考虑客观机会和一个老定理，由于巴拿赫和库拉托夫斯基。更具体地说，我认为，概率归纳方法standardised在科学中使用的前提是，每一个命题的结果，一个偶然的过程有一定的机会在0和1之间。我也主张赞成标准的观点，即机会是可数的加法。由于可以随机选择连续统上的一个点，例如使用轮盘赌轮或通过翻转可计数的无限个公平硬币，因此，考虑到ZFC的公理，在可计数的无限和连续统的基数之间存在许多不同的基数。
The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem
我们发现，$Π_2$ -属性的二阶或三阶算术正式在适当的自然签名的强制性明显较弱的概念重叠的标准概念的一致性（假设大基数公理）。在这样的$Π_2$ -属性，我们提到：否定的连续统假设，苏斯林假设，否定怀特海猜想的自由群，不存在的外部自同构的卡尔金代数等.特别是，这给出了一个后验的解释，成功迫使（和迫使公理）在生产模型，这些属性。我们的主要结果涉及通用的绝对性定理二阶算术，Woodin的公理$(*)$和迫使公理罗宾逊的概念模型伴侣（适用于集合论）。我们还简要概述了这些结果以何种方式提供了一个论点，以反驳连续统假设。
Selection properties of the split interval and the Continuum Hypothesis
证明了从可度量化可分空间$X$到GO-空间$Y$的每个usco多重映射$Φ:X\to Y$都有$F_σ$ -可测选择.另一方面，对于分割区间$\ddot{\mathbb I}$和它的平方在单位平方${\mathbb I}^2$上的投影$P:\ddot{\mathbb I}^2\to{\mathbb I}^2$，usco多重映射$P^{-1}:{\mathbb I}^2\multimap\ddot{\mathbb I}^2$具有Borel（$F_σ$ -可测量的）选择当且仅当连续统假设成立。这个CH-例子表明，已知的结果Borel选择usco映射到可分割的紧空间不能扩展到更广泛的一类紧空间。
Machine learning and the Continuum Hypothesis
本文评论了机器学习与集合论的联系，指出其集合论机制与Kuratowski关于集合有限幂分解的结果相关，并证明了单位区间上不存在Borel可测的单调压缩函数。
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成员的并集。
Bar recursion in classical realisability : dependent choice and continuum hypothesis
本文在经典可实现性的背景下讨论了棒递归算子。在Berardi，Bezem & Coquand [1]，T. Streicher在[10]中利用他们的棒递归算子证明了由$λ$ -演算（Scott域，相干空间，. . .),满足依赖选择公理。我们给出了这个结果的证明，使用经典的可实现性的工具。此外，我们还证明了这些可实现性模型满足$\mathbb{R}$的良序性和连续性假设。因此，这些公式是由封闭的$λ_c$ -项实现的。这允许获得程序证明算术公式使用所有这些公理。
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$，因此严格弱于全实现器。
Measures that violate the Generalized Continuum Hypothesis
研究了在正则基数上存在简单P_λ-点超滤子的条件，并证明了其与多个基数的等价关系，同时改进了致密性强度下界并探讨了相关数学结构的保测性及滤子游戏的变化。
Parametrized Measuring and Club Guessing
本文介绍了强测度，它是J. T. Moore的测量原理，它断言每个少于连续集的集合都是$ω_1$的许多闭有界子集，可以由$ω_1$的某个俱乐部子集测量。证明了强测度与CH的否定的一致性，解决了有关参数化测度原理的一个公开问题。具体地说，我们证明了强测量遵循MRP与马丁公理的$σ$为中心的强迫，以及从BPFA。我们还考虑了在没有选择公理的情况下的强度量。
An alternative foundation and the generalized continuum hypothesis
在本文中，我介绍了一个新的和直观的一阶基本理论（其中的概念集不是原始的），并使用它来证明一个无限集的幂集不存在。特别地，集合不可数性的证明本质上是指定集合不存在的证明。在某种意义上，不可数性被证明是一种不完全性。此外，选择公理被证明是一个简单的定理。鉴于所有实数的集合的不存在性，或者更一般地，度量空间的完备化的不保证存在性，拓扑概念在“扩张”的上下文中被重新引入。测度论也相应地被重新表述。
Independence of the Continuum Hypothesis: an Intuitive Introduction
连续统假设的独立性是广泛影响的结果：它解决了关于N和R这两个最熟悉的数学结构的性质的基本问题;它引入了已经成为集合论主要工具的强迫方法;它对数学基础以及句法与语义的作用有着广泛的影响。尽管它有广泛的影响，但它并没有被广泛地教授。一个主要原因是缺乏非专业人士可以理解的论述，因为证明中使用的数学结构和技术在集合论之外是不熟悉的。这份手稿的目的是采取一个步骤，通过提供一个先进的本科数学家和理论计算机科学家可以访问的水平的博览会，同时涵盖了证明的所有技术上具有挑战性的部分，以解决这一差距。
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]的一个问题。我们还讨论了几个相关的开放问题。
Quantum phenomenology and the Continuum Problem
提出了一种基于连续统假设独立性的量子力学新方法。在一维情形下，证明了中间势集的性质与量子唯象相一致。
On two consequences of CH established by Sierpinski. II
该研究延续对Waclaw Sierpinski发现的连续统假设（CH）两个推论的关联探究，聚焦基数为连续统的实数线子集上连续函数一致连续性与实值函数序列一致收敛性的相关问题。
Cauchy's continuum
柯西的总和定理的1821年一直是主题的竞争对手的解释，因为罗宾逊提出了一个新的阅读在20世纪60年代。有些人声称柯西在1853年通过引入一致收敛性修正了他的定理的假设，而一致收敛的传统公式需要一对自变量。同时，柯西假设是用一个变量x而不是一对变量来表述的，并且要求误差项r_n = r_n（x）在所有x值处都为零，包括柯西明确指定的由1/n产生的无穷小值。如果一个人希望理解柯西在1853年对和定理假设的修改/澄清，他必须抛弃自动逼近极限。
On two consequences of CH established by Sierpiński
本文考察 Sierpiński 发现的 CH 两个推论之间的关系，聚焦连续统基数实数子集上连续函数的一致连续性与实值函数序列的一致收敛性。
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$。这就产生了基数的…
A long chain of P-points
本文引入P点的$δ$ -类属序列的概念。在连续统假设下，证明了对于每个$δ< ω_{2}$，P点的任何$δ$ -类属序列都可以扩展为一个$ω_{2}$ -类属序列.这表明，连续统假设意味着存在一个长度为${\mathfrak{c}}^{+}$的P-点链，关于Rudin-Keisler和Tukey约简。证明可以很容易地适应，以获得这样一个链的长度${\mathfrak{c}}^{+}$下一个更一般的假设，如马丁的公理。这些结果回答了Andreas Blass的一个老问题。
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman
证明了Solomon Feferman关于连续统假设相对于半直觉集合论的不确定性的一个猜想。
Generic large cardinals as axioms
我们反对Foreman的建议，解决连续统假设和其他经典的独立问题，通过采用通用的大基数公理。
Some algebraic equivalent forms of $\mathbb{R} \subseteq L$
我们研究了连续统假设的某些代数等价形式的$Σ^1_2$可定义对应。所有这些都等同于“所有真实都是可构造的”。
A polarized partition relation and failure of GCH
主要结果是，对于不满足连续统假设（即2 ^lambda> lambda^+）的lambda强极限奇异，极化分割定理成立。
The Ultrapower Axiom implies GCH above a supercompact cardinal
我们证明了广义连续统假设在超紧基数假设超幂公理的情况下成立，超幂公理是一个由超紧基数水平上的内模型论激发的抽象比较原理。
On the pointwise implementation of near-actions
我们表明，连续统假设意味着每一个措施保持近行动的一组标准的Borel概率空间$(X,μ)$有一个逐点实现的Borel措施保持自同构。
On a theorem of Banach and Kuratowski and K-Lusin sets
在1929年的一份文件中，巴拿赫和库拉托夫斯基证明，假设连续统假设，一个组合定理，这意味着没有非零的西格玛加性有限措施的真正的线上定义的每一套reals。它将被证明，组合定理是等价的存在的一个K-Lusin集的大小连续和存在这样的集是独立的ZFC加上非CH。
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*）都证明与（*）等价.
Explicit Morphisms in the Galois-Tukey Category
本文通过将连续统基数特征不等式中的底层态射显式化，重新表述传统直接证明，并给出新的纯范畴论结果。
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 σ。
A note on the Akemann-Doner and Farah-Wofsey constructions
我们从Akemann-Doner构造一个只有可分交换$C^*$ -子代数的不可分$C^*$ -代数$A$中去掉了连续统假设的假设。我们还推广了Farah和Wofsey的一个结果，在无交换提升的Calkin代数上构造了$\aleph_1$交换投影.这从Anderson的结果的一个版本中去除了连续统假设的假设。这两个结果都是基于Luzin的几乎不相交的家庭建设。
Automorphisms of corona algebras, and group cohomology
在2007年，Phillips和Weaver证明了，假设连续统假设，存在卡尔金代数的外自同构。(The卡尔金代数是可分复希尔伯特空间上的有界算子的代数，模为紧算子。在本文中，我们建立了类似的结论适用于一个广泛的家庭的商代数。具体地说，我们将证明，假设连续统假设，如果$A$是一个可分代数，这是简单的或稳定的，那么冠$A$有非平凡的自同构。我们还讨论了与上同调理论的连接，即我们的证明可以被视为一个特定的派生逆极限的基数的计算。
Epic math battle of history: Grothendieck vs Nikodym
本文通过定义σ-中心力迫概念，构造出具有格罗滕迪克性质却无尼科迪姆性质的布尔代数，证明其存在与连续统假设否定一致，且可简化塔拉格兰德在连续统假设下的构造。
The Calkin algebra has outer automorphisms
在连续统假设下，证明了Calkin代数有2个^{aleph_1}外自同构.
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）几乎不相交的家庭。本文证明了一个有效的参数化弱金刚石原理足以保证几乎不相交族的可数性。我们还讨论了这个特定的弱钻石原则的演绎强度（这是一致的否定的连续统假设，除了其他功能）。
Independence of the existence of Pitowsky spin models
1982年，I.皮托夫斯基利用连续统假设为量子力学中自旋为1/2和自旋为1的粒子建立了隐变量模型。我们证明了Pitowsky模型的存在性与ZFC无关。
First Countable Continua and Proper Forcing
在连续统假设下，存在一个权为aleph_1的紧致第一可数连通空间，其中不存在全不连通的完美子集。然而，每一个这样的空间都可以被某种不加实数的适当的强迫序所破坏。
Not all pure states on B(H) are diagonalizable
在连续统假设下，我们证明了B（H）有一个纯态，它对任何masa的限制都是不纯的。这否定地解决了安德森的一个旧猜想。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。