arXiv 2112.080562021-12-15math.LO

Projective Determinacy from long Chang's Conjecture

Dominik Adolf

英文摘要：

Consider the property $(\aleph_{ω+ 1},\aleph_{ω+ 2},\ldots) \twoheadrightarrow (\aleph_1,\aleph_2,\ldots)$. Here we will show that this property with the addition of the General Continuum Hypothesis implies projective determinacy. Of particular interest here is the use of a variant covering argument to prove limited instances of mouse reflection. We believe that this approach could find use for other forms of Chang's Conjecture as well.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Preserving levels of projective determinacy by tree forcings

We prove that various classical tree forcings -- for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing -- preserve the statement that every real has a sharp and hence analytic determinacy. We then lift this result via methods of inner model theory to obtain level-by-level preservation of projective determinacy (PD). Assuming PD, we further prove that projective generic absoluteness holds and no new equivalence classes classes are added to thin projective transitive relations by these forcings.

2021-03-18math.LO

一个具有射影决定性片段且$\nmathsf{DC}$失效的模型

A model with fragments of projective determinacy and failures of $\mathsf{DC}$

本文构造了一个二阶算术模型，其中粗体射影决定性成立但细体射影决定性失效，证明射影决定性不能推出完整的选择公理，基于Gitman等人的工作。

2025-05-22math.LO

The consistency strength of long projective determinacy

We determine the consistency strength of determinacy for projective games of length $ω^2$. Our main theorem is that $\boldsymbolΠ^1_{n+1}$-determinacy for games of length $ω^2$ implies the existence of a model of set theory with $ω+ n$ Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals $A$ such that $M_n(A)$, the canonical inner model for $n$ Woodin cardinals constructed over $A$, satisfies $A = \mathbb{R}$ and the Axiom of Determinacy. Then we argue how to obtain a model with $ω+ n$ Woodin cardinal from this. We also show how the pro…

2019-06-27math.LO

Long Games and $σ$-Projective Sets

We prove a number of results on the determinacy of $σ$-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between $σ$-projective determinacy and the determinacy of certain classes of games of variable length ${<}ω^2$ (Theorem 2.4). We then give an elementary proof of the determinacy of $σ$-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof to obtain proofs of the determinacy of $σ$-projec…

2021-01-16math.LO

Determinacy and Large Cardinals

The study of inner models was initiated by Gödel's analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardinals, strong cardinals or Woodin cardinals, was pioneered by Jensen, Mitchell, Steel, and others. Around the same time, the study of infinite two-player games was driven forward by Martin's proof of analytic determinacy from a measurable cardinal, Borel determinacy from ZFC, and Martin and Steel's proof of levels of projective determinacy from Woodin cardinals with a measurable cardinal on top. First Woodin and later N…

2023-02-04math.LO

Determinacy in the Chang model

Assuming the existence of a certain hod pair with a Woodin cardinal that is a limit of Woodin cardinals, we show that the Chang model satisfies $\mathsf{AD}^+$ in any set generic extensions.

2023-02-13math.LO

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

射影确定性下的稳健无套利

Robust No-Arbitrage under Projective Determinacy

本文在射影确定性公理扩展的ZFC集合论下，提出统一处理价格、先验和交易策略可测性的射影框架，在更优雅一致的假设下刻画了稳健无套利条件，并证明了稳健效用最大化问题解的存在性。

2025-06-28math.LOq-fin.MF

来自决定性模型的共尾强Chang猜想

The Cofinal Strong Chang Conjecture from Models of Determinacy

通过修改Woodin的证明，表明从决定性模型使用P_max力迫得到的模型满足更强的共尾版本的强Chang猜想，并由此证明Namba力迫是半正常的且Θ^{UB}=ω_3的一致性，以及Woodin (*)_{UB}公理蕴含该猜想。

2026-06-02math.LO

Techniques for approaching the dual Ramsey property in the projective hierarchy

We define the dualizations of objects and concepts which are essential for investigating the Ramsey property in the first levels of the projective hierarchy, prove a forcing equivalence theorem for dual Mathias forcing and dual Laver forcing, and show that the Harrington-Kechris techniques for proving the Ramsey property from determinacy work in the dualized case as well.

2001-09-23math.LO

Uniformity results on the Baire property

We are concerned with the problem of witnessing the Baire property of the Borel and the projective sets (assuming determinacy) through a sufficiently definable function in the codes. We prove that in the case of projective sets it is possible to satisfy this for almost all codes using a continuous function. We also show that it is impossible to improve this to all codes even if more complex functions in the codes are allowed. We also study the intermediate steps of the Borel hierarchy, and we give an estimation for the complexity of such functions in the codes, which verify the Baire property …

2017-07-24math.LO

The Strength of Menger's Conjecture

Menger conjectured that subsets of R with the Menger property must be $σ$-compact. While this is false when there is no restriction on the subsets of R, for projective subsets it is known to follow from the Axiom of Projective Determinacy, which has considerable large cardinal consistency strength. We note that in fact, Menger's conjecture for projective sets has consistency strength of only an inaccessible cardinal.

2020-06-25math.GNmath.LO

On reduction and separation of projective sets in Tychonoff spaces

We show that for every Tychonoff space $X$ and Hausdorff operation $\mathbfΦ$, the class $\mathbfΦ(\mathscr Z,X)$ generated from zero sets in $X$ by $\mathbfΦ$ has the reduction or separation property if the corresponding class $\mathbfΦ(\mathscr F,\mathbb R)$ of sets of reals has the same property. In particular, under Projective Determinacy, these properties of such projective sets in $X$ have the same pattern as the First Periodicity Theorem states for projective sets of reals: the classes $\mathbfΣ^{1}_{2n}(\mathscr Z,X)$ and $\mathbfΠ^{1}_{2n+1}(\mathscr Z,X)$ have the reduction property …

2021-07-20math.GNmath.LO

The Open Graph Axiom and Menger's Conjecture

Menger conjectured that subsets of $\mathbb R$ with the Menger property must be $σ$-compact. While this is false when there is no restriction on the subsets of $\mathbb R$, for projective subsets it is known to follow from the Axiom of Projective Determinacy, which has considerable large cardinal consistency strength. We show that the perfect set version of the Open Graph Axiom for projective sets of reals, with consistency strength only an inaccessible cardinal, also implies Menger's conjecture restricted to this family of subsets of $\mathbb R$.

2018-03-22math.GNmath.LO

Mouse 尺度

Mouse scales

本文提出直接由 mouse 存在性假设构造描述集合论尺度的内模型论方法，避免决定性论证，并将尺度性质推广到众多经典及远超射影复杂度的点类。

2025-05-13math.LO

关于$\mathbb{P}_{max}$扩张中的$\omega$-强可测基数

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions

本文证明了在特定Chang型决定性模型的$\mathbb{P}_{max}$扩张中，特定基数上的club filter限制到HOD上构成超滤，从而回答了Ben-Neria和Hayut提出的问题4.11。

2025-06-27math.LO

Between Polish and completely Baire

All spaces are assumed to be separable and metrizable. Consider the following properties of a space $X$. (1) $X$ is Polish. (2) For every countable crowded $Q\subseteq X$ there exists a crowded $Q'\subseteq Q$ with compact closure. (3) Every closed subspace of $X$ is either scattered or it contains a homeomorphic copy of $2^ω$. (4) Every closed subspace of $X$ is a Baire space. While (4) is the well-known property of being completely Baire, properties (2) and (3) have been recently introduced by Kunen, Medini and Zdomskyy, who named them the Miller property and the Cantor-Bendixson property re…

2014-05-30math.GNmath.LO