首页/论文/2003.11215

arXiv 2003.112152020-03-25math.LO

Some basic thoughts on the cofiality of Chang structures with an application to forcing

Dominik Adolf

英文摘要：

Consider $(κ^{+++},κ^{++}) \twoheadrightarrow (κ^+,κ)$ where $κ$ is an uncountable regular cardinal. By a result of Shelah's we have $\operatorname{cof}(X \cap κ^{++}) = κ$ for almost all $X \subset κ^{+++}$ witnessing this. Here we consider the question if there could be a similar result for $X \cap κ^+$. We use this discussion to give an interesting example of a pseudo Prikry forcing answering a question of Sinapova.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Restrictions on Forcings That Change Cofinalities

In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show that such forcing which changes cofinality of a regular cardinal, cannot be too nice and must cause some "damage" to the structure of cardinals and stationary sets. As a consequence there is no analogue to the Prikry forcing, in terms of "nice" properties, when changing cofinalities to be uncountable.

2015-07-28math.LO

Generalizations of Martin's Axiom, weak square, weak Chang's Conjecture, and a forcing axiom failure

We prove that the forcing axiom $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ implies $\Box_{ω_1, ω_1}$. Using this implication, we show that the forcing axiom $MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$ is inconsistent. We also derive weak Chang's Conjecture from $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ and use this second implication to give another proof of the inconsistency of $MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$.

2022-12-14math.LO

Changing cardinal characteristics without changing omega-sequences or cofinalities

We show: There are pairs of universes V_1 subseteq V_2 and there is a notion of forcing P in V_1 such that the change mentioned in the title occurs when going from V_1[G] to V_2[G] for a P-generic filter G over V_2. We use forcing iterations with partial memories. Moreover, we implement highly transitive automorphism groups into the forcing orders.

1999-01-22math.LO

Incompatible category forcing axioms

Given a cardinal $λ$, category forcing axioms for $λ$-suitable classes $Γ$ are strong forcing axioms which completely decide the theory of the Chang model $\mathcal C_λ$, modulo generic extensions via forcing notions from $Γ$. $\mathsf{MM}^{+++}$ was the first category forcing axiom to be isolated (by the second author). In this paper we present, without proofs, a general theory of category forcings, and prove the existence of $\aleph_1$-many pairwise incompatible category forcing axioms for $ω_1$-suitable classes.

2018-05-22math.LO

Force to change large cardinal strength

This dissertation includes many theorems which show how to change large cardinal properties with forcing. I consider in detail the degrees of inaccessible cardinals (an analogue of the classical degrees of Mahlo cardinals) and provide new large cardinal definitions for degrees of inaccessible cardinals extending the hyper-inaccessible hierarchy. I showed that for every cardinal $κ$, and ordinal $α$, if $κ$ is $α$-inaccerssible, then there is a $\mathbb{P}$ forcing that $κ$ which preserves that $α$-inaccessible but destorys that $κ$ is $(α+1)$-inaccessible. I also consider Mahlo cardinals and d…

2015-06-12math.LO

Extender Based Radin Forcing

We define extender sequences, generelizing measure sequences from Radin Forcing. Using the extender sequences we combine Gitik-Magidor forcing for adding many Prikry sequences with Radin forcing. This forcing satisfies Prikry like condition, destroys no cardinals, and has a kind of properness. Depending on the large cardinal we start with, this forcing can blow the power of a cardinal together with changing its' cofinality to a prescribe value. If this prescribed value is the cardinal itself then it remains regular and even can remain measurable.

2000-01-23math.LO

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

Category forcings, $MM^{+++}$, and generic absoluteness for the theory of strong forcing axioms

We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial segment of the universe of height a super compact which is a limit of super compact cardinals is a stationary set preserving partial order which forces $MM^{++}$ and collapses its size to become the second uncountable cardinal. Next we argue that any of the known methods to produce a model of $MM^{++}$ collapsing a superhuge cardinal to become the second uncoun…

2015-07-29math.LO

Proper forcing and $L({\mathbb R})$

We present two ways in which the model $L({\mathbb R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters, cannot be changed by small forcing; we show further that a set of ordinals in $V$ cannot be added to $L({\mathbb R})$ by small forcing. The large cardinal needed corresponds to the consistency strength of $AD^{L({\mathbb R})}$; roughly $ω$ Woodin cardinals.

2000-03-03math.LO

Prikry-type forcings after collapsing a huge cardinal

Some models of combinatorial principles have been obtained by collapsing a huge cardinal in the case of the successors of regular cardinals. For example, saturated ideals, Chang's conjecture, polarized partition relations, and transfer principles for chromatic numbers of graphs. In this paper, we study these in the case of the successors of singular cardinals. In particular, we show that Prikry forcing preserves the centeredness of ideals but kills the layeredness. We also study $\binom{μ^{++}}{μ^{+}}\to\binomκ{μ^{+}}_μ$ and $\mathrm{Tr}_{\mathrm{Chr}}(μ^{+++},μ^{+})$ in the extension by Prikr…

2022-07-11math.LO

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

The Cofinal Strong Chang Conjecture from Models of Determinacy

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

2026-06-02math.LO

力迫公理、可逼近性与平稳集反射

Forcing axioms, approachability, and stationary set reflection

本文证明平稳集反射与内部可逼近性的多种定理，指出Fuchino-Usuba蕴含不可逆，加强并简化Krueger结果，并借鉴Woodin思想统一力迫公理保持论证。

2020-01-09math.LO

Changing measurable into small accessible cardinals

We give a detailed proof of the properties of the usual Prikry type forcing notion for turning a measurable cardinal into $\aleph_ω$.

2019-02-19math.LO

利用刺序列在Chang模型上强制得到更多依赖选择

Forcing More DC Over the Chang Model Using the Thorn Sequence

本文在ZF+DC背景下，通过对刺序列上的基数施加强正则性与正当化假设，利用Cohen力迫在Chang模型上为小于ℵ_ω的κ建立关于P(κ)上关系的依赖选择DC_κ。

2024-03-29math.LO

Useful axioms

We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom of choice and Baire's category theorem. First of all we outline how, using basic partial order theory, it is possible to reformulate the axiom of choice, Baire's category theorem, and many large cardinal axioms as specific instances of forcing axioms. We then address forcing axioms with a model-theoretic perspective and outline a deep analogy existing between the standard Łoś Theorem for ultraproducts of first order s…

2019-11-30math.LO

Prikry On Extenders, Revisited

We present a modification to the Prikry on Extenders forcing notion allowing the blow up of the power set of a large cardinal, change its cofinality to omega without adding bounded subsets, working directly from arbitrary extender (e.g., n-huge extender). Using this forcing, starting from a superstrong cardinal, we construct a model in which the added Prikry sequences are a scale in the normal Prikry sequence.

2003-05-19math.LO

一般扩张中序数的反射性质

Reflection Properties of Ordinals in Generic Extensions

本文研究可数序数在 $L$ 的一般扩张中的 $Σ^1_n$ 或 $Π^1_n$ 反射性质，证明 Cohen、随机实数、Sacks 等力迫无法改变反射性，而塌缩力迫虽提升最小反射序数值，但仍小于 $L$ 的 $ω_1$。

2023-11-21math.LO