首页/论文/1901.01508

arXiv 1901.015082019-01-27math.LO

超越基、实的良序与选择公理

Transcendence bases, well-orderings of the reals and the axiom of choice

Haim Horowitz, Saharon Shelah

备注：: We corrected a gap in the proof of Claim 6
发表信息：: Proc. Amer. Math. Soc. 149 No. 2 (2021) 851--858

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

证明了$ZF+DC+"$存在超越基，对于实$"+"$不存在良序，$"$相对于$ZFC$是一致的.这回答了Larson和Zapletal的一个问题。

英文摘要：

We prove that $ZF+DC+"$there exists a transcendence basis for the reals$"+"$there is no well-ordering of the reals$"$ is consistent relative to $ZFC$. This answers a question of Larson and Zapletal.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Martin公理与实数的Delta^2_1良序

Martin's Axiom and Delta^2_1 well-ordering of the reals

假设有一个不可达基数kappa，则存在一个泛型扩张，其中MA + 2^{aleph_0} = kappa成立，并且实数具有Delta^2_1良序。

1994-08-15math.LO

具有预校准- $\aleph_1$的偏序与Martin公理的片断

On partial orderings having precalibre-$\aleph_1$ and fragments of Martin's axiom

定义了偏序的可数反链条件（ccc）性质，弱于precalibre-$\aleph_1$，并证明了限制于具有该性质的偏序类的Martin公理并不意味着$σ$连接的偏序的Martin公理.这回答了一个老问题的第一作者的相对强度马丁公理$σ$为中心的偏序连同断言，每一个Aronszajn树是特殊的。我们还回答了J. Steprans和S. Watson（1988）通过证明通过保持基数的强迫，可以破坏偏序的precalibre- $\aleph_1$性质，同时保持其ccc性。

2015-02-19math.LO

顺序原理与依赖选择

The Ordering Principle and Dependent Choice

University of Vienna（维也纳大学）

本文通过有限支持对称系统的迭代，证明了依赖选择公理在ZF基础上结合顺序原理且选择公理失效时的独立性。

2025-04-04math.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

借助定理证明器简化有序仿射几何的公理化体系

Simplifying the axiomatization for the ordered affine geometry via a theorem prover

针对von Plato提出的含22条公理的有序仿射几何构造性公理化体系，研究发现公理I.7存在冗余，借助定理证明器证明可用更简单直观的新公理等价替换该复杂公理，实现公理化体系的简化。

2023-04-29math.LO

序原理与高阶依赖选择

The Ordering Principle and Higher Dependent Choice

本文为正则不可数基数 $κ$ 下，ZF 与高阶依赖选择及序原理在无选择公理时的一致性提供新证明，并推广至更大模型类。

2025-10-17math.LO

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

与实闭域相关的结构以及选择公理

Structures Associated with Real Closed Fields and the Axiom of Choice

本文研究了实闭域的整数部分的存在性，证明选择公理在构造实闭域的整数部分时是必要的，并探讨了在某些情况下选择公理并非必需，同时指出相关问题在算法上是不可判定的。

2016-01-13math.LO

无选择极大集

Maximal sets without Choice

我们证明了它是一致的相对于ZF，有没有良好的顺序$\mathbb{R}$，而广泛的一类特殊集的实数，如Hamel基地，超越基地，Vitali集或伯恩斯坦集存在。更精确地说，我们可以假设$\mathbb{R}$上的每一个投射超图都有一个极大独立集。例如，我们得到所有射影等价关系的横截。此外，当$\mathsf{DC}_{ω_1}$成立或实数的可数选择失败时，这是可能的。假设不可达基数的一致性，“projective”甚至可以替换为“$L(\mathbb{R})$“。这大大加强了文献中早期的一致性结果。

2022-08-01math.LO

具有弱Freese-Nation性质的偏序

Partial orderings with the weak Freese-Nation property

称一个偏序P具有弱自由国性质（WFN），如果存在映射f：P -> [P]^{<= aleph_0}使得对P中的任意a，b，如果a <= b，则存在c在f（a）cap f（b）中使得a <= c <= b.本文研究了WFN及其推广。具有WFN的BA类的一些特征似乎对集合论的附加公理非常敏感：例如，在CH下，每个ccc cBA都具有此属性，而在b >= aleph_2下，WFN不存在cBA。

1995-08-15math.LO

Well-Ordered模型宇宙

Well-Ordered Model Universes

在本文中，我们将展示如何建立一个模型的$ZFC$，使其所有的内部模型满足选择公理选择是有序的，相对于包含，并表示排序是任意的高度（包括可能的$Ord$高）。我们通过迭代$κ$ -Sacks强迫不断增加的$κ$来做到这一点，同时表明这种强迫不会增加任何意外的中间内部模型。

2018-12-14math.LO

AC与WO在二阶Henkin逻辑中的独立性，第一部分

AC and the Independence of WO in Second-Order Henkin Logic, Part I

本文研究Henkin解释二阶谓词逻辑中选择公理与良序定理，围绕Ackermann选择原则和Henkin-Asser结构，给出WO独立于Ackermann公理证明的技术细节。

2024-10-03math.LO

依赖选择作为终止原则

Dependent choice as a termination principle

我们引入了一个新的配方的公理依赖的选择，可以被看作是一个抽象的终止原则，概括的递归路径排序用于建立终止重写系统。我们认为我们的终止原理的几个变种，并将它们与文献中的一般终止定理。

2019-02-25cs.LOmath.LO

AC与WO在二阶Henkin逻辑中的独立性（第二部分）

AC and the Independence of WO in Second-Order Henkin Logic, Part II

本文在二阶Henkin逻辑框架下，针对Henkin-Asser结构给出了良序定理独立于Ackermann选择公理的证明技术细节，相关定义见第一部分。

2024-10-07math.LO

经典可实现性中的Bar递归：依赖选择与连续统假设

Bar recursion in classical realisability : dependent choice and continuum hypothesis

本文在经典可实现性的背景下讨论了棒递归算子。在Berardi，Bezem & Coquand [1]，T. Streicher在[10]中利用他们的棒递归算子证明了由$λ$ -演算（Scott域，相干空间，. . .),满足依赖选择公理。我们给出了这个结果的证明，使用经典的可实现性的工具。此外，我们还证明了这些可实现性模型满足$\mathbb{R}$的良序性和连续性假设。因此，这些公式是由封闭的$λ_c$ -项实现的。这允许获得程序证明算术公式使用所有这些公理。

2016-05-16cs.LOmath.LO