首页/论文/math/0311095

arXiv math/03110952003-11math.LO

确定性最大值

Determinacy Maximum

Dmytro Taranovsky

备注：: 10 pages, formatting change, original html is in ancillary files

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们提出了一个新的超限游戏的确定性假设，使用该假设扩展的完满集定理，证明各种确定性假设之间的关系，暴露不一致的版本的确定性，并提供了一个哲学的理由确定性。

英文摘要：

We propose a new determinacy hypothesis for transfinite games, use the hypothesis to extend the perfect set theorem, prove relationships between various determinacy hypotheses, expose inconsistent versions of determinacy, and provide a philosophical justification for determinacy.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

类对策的开放决定性

Open determinacy for class games

类博弈的开放决定性原理-具有长度为$ω$的完全信息的两人博弈，其中移动是从可能的适当类中选择的，例如序数上的博弈-在Zermelo-Fraenkel集合论ZFC或Gödel-Bernays集合论GBC中是不可证明的，如果这些理论是一致的，因为可以证明在ZFC中有一个可定义的开真类博弈，没有可定义的获胜策略。事实上，类博弈的开放决定性原则，甚至仅仅是封闭决定性原则，就意味着Con（ZFC）和迭代实例Con（Con（ZFC））以及更多，因为它意味着一阶真理存在一个满足类，而对于迭代的关于真理的真理，相对于任何类参数，确实存在一个真理谓词的超限塔。根据塔斯基的真的递归定义，这也许可以用一个更一般的事实来解释，即在GBC上的闭根决定性原理完全等价于在良基类关系上的初等超限递归ETR原理。同时，类对策的开放决定性原理在Kelley-Morse集合论KM的一个适当片段GBC+ $Π^1_1$ -综合理论中是可证明的.

2016-07-07math.LO

强决定性模型$\mathbb{P}_{\max}$扩张中的Martin极大值${}^{\ast, ++}_{\mathfrak{c}}$

Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy

我们研究了$\mathrm{MM}^{++}$的一种加强形式，称为$\mathrm{MM}^{\ast, ++}$，它是由Schindler和J.我们强迫它的有界版本$\mathrm{MM}^{\ast, ++}_{\mathfrak{c}}$，这是强于$\mathrm{MM}^{++}(\mathfrak{c})$以及$\mathrm{BMM}^{++}$，通过$\mathbb{P}_{\max}$强迫上的确定性模型$L^{F_{\mathrm{uB}}}({\mathbb R}^*,\mbox{Hom}^{\ast})$。地面模型$L^{F_{\mathrm{uB}}}({\mathbb R}^{\ast},\mbox{Hom}^{\ast})$的构造建立在Gappo和Sargsyan以及Larson、Sargsyan和Wilson的衍生模型构造的基础上。

2024-04-19math.LO

由2-带自动机指定的无限对策

Infinite Games Specified by 2-Tape Automata

证明了2带Büchi自动机所接受的获胜集为无穷有理关系的Gale-Stewart对策的决定性等价于（有效）解析Gale-Stewart对策的决定性，这是一个大基数假设.然后，我们证明，获胜的策略，当他们存在，可以是非常复杂的，即高度非有效的，在这些游戏。我们证明了相同的结果与Gale-Stewart游戏的实时1-计数器Büchi自动机接受的胜利集，然后扩展了以前的结果，这些游戏。然后我们考虑了这些对策的确定性强度，证明了存在一个由递归序数索引的2带Büchi自动机（分别为实时1计数器Büchi自动机）$A_α$的超限序列，使得这些对策$G(L(A_α))$具有严格递增的确定性强度.此外，存在一个2带Büchi自动机（分别为实时1计数器Büchi自动机）B，使得G（L（B））的决定性等价于（有效）解析决定性，从而具有最大的决定性强度。我们还表明，Wadge游戏的确定性之间的两个球员负责的2-磁带Büchi自动机接受的无穷理性关系是等价的（有效）的分析确定性，因此不能证明ZFC。

2013-12-13cs.GTcs.LOmath.LO

有界马丁最大值与多个证人

Bounded Martin's Maximum with Many Witnesses

我们研究了有界Martin极大值的一个加强，它断言：如果一个关于ω_2 ^V在一个保持扩张的平稳集中成立，那么对于一个序数小于ω_2的平稳集，它在V中成立。我们证明，该原理隐含了全局投影确定性，因此在\mathsf{BMM}的\mathbb{P}_{max}模型中不成立，但该原理对使ω_2 ^V可列共尾的强迫的限制在\mathsf{BMM}模型中确实成立，尽管它不是\mathsf{BMM}的结果。

2008-12-07math.LO

类强迫定理的精确强度

The exact strength of the class forcing theorem

类强制定理，它断言每个类强制概念$\mathbb{P}$允许一个强制关系$\Vdash_{\mathbb{P}}$，即，一个满足强制关系递归的关系--由此可以得出，在相应的力迫扩张中为真的陈述是强制的，并且强制陈述为真--在哥德尔上是等价的--Bernays集合论GBC到初等超限递归原理$\text{ETR}_{\text{Ord}}$，用于长度为$\text{Ord}$的类递归。它也等价于允许任何类参数$A$的无限语言$\mathcal{L}_{\text{Ord},ω}(\in,A)$的真值谓词的存在性;等价于语言$\mathcal{L}_{\text{Ord},\text{Ord}}(\in,A)$的真值谓词的存在性;等价于一阶集合论$\mathcal{L}_{ω,ω}(\in,A)$的$\text{Ord}$ -迭代真值谓词的存在性;等价于每个分离类偏序$\mathbb{P}$有一个集合完备类布尔完备化的断言;类连接分离原则;以及最多等级为$\text{Ord}+1$的clopen类游戏的确定性原则。与集合强制不同，如果每个类强制概念$\mathbb{P}$仅对原子公式具有强制关系，则每个这样的$\mathbb{P}$具有同时适用于所有公式的统一强制关系。我们的结果在GBC和Kelley-Morse集理论KM之间丰富的理论层次中证明了类强迫定理。

2021-03-10math.LO

平稳集分裂博弈

The Stationary Set Splitting Game

\emph{stationary set splitting game}是两个参与者\unspls和\spl之间的长度为$ω_{1}$的完全信息博弈，其中\unspls选择固定的许多可数序数，而\spls试图不断地将它们分成两个固定的部分。我们表明，在ZFC中，有可能迫使任何一个玩家采取获胜策略，或者两者都不采取。这给出了一个新的反例，$Σ^{2}_{2}$极大性与谓词的非平稳理想$ω_{1}$，和一个例子，一个一贯未定的游戏长度$ω_{1}$与支付定义在二阶一元逻辑的顺序。我们还表明，游戏的确定性是符合马丁的公理，但不是马丁的最大值。

2010-03-11math.LO