Cover Image

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Watson, Connor
Format:	Preprint
Published:	2024
Subjects:	Logic 03E35, 03E45, 03E55
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Full normalization for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2025)

The initial segment condition for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2023)

Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
by: Honzik, Radek, et al.
Published: (2023)

The Axiom of Choice in the $κ$-Mantle
by: Lietz, Andreas
Published: (2024)

Higher Solovay Models
by: Straffelini, Cesare, et al.
Published: (2025)

A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
by: Schlutzenberg, Farmer
Published: (2020)

Descriptive properties of I2-embeddings
by: Dimonte, Vincenzo, et al.
Published: (2023)

Separating Maximality Principles
by: Gappo, Takehiko, et al.
Published: (2025)

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
by: Hoffelner, Stefan, et al.
Published: (2022)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
by: Lietz, Andreas
Published: (2024)

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

Total Failure of Approachability at Successors of Singulars of Countable Cofinality
by: Jakob, Hannes
Published: (2025)

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
by: Hoffelner, Stefan
Published: (2020)

Disjoint Stationary Sequences on an Interval of Cardinals
by: Jakob, Hannes
Published: (2023)

Failure of Approachability at the Successor of the first Singular for any Cofinality
by: Jakob, Hannes, et al.
Published: (2025)

Mice with Woodin cardinals from a Reinhardt
by: Schlutzenberg, Farmer
Published: (2024)

A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
by: Hoffelner, Stefan
Published: (2023)

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

Fine structure from normal iterability
by: Schlutzenberg, Farmer
Published: (2020)

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
by: Schlutzenberg, Farmer
Published: (2019)

Ladder mice
by: Schlutzenberg, Farmer
Published: (2024)

Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)

Mouse scales
by: Schlutzenberg, Farmer
Published: (2023)

Long games just beyond fixed countable length
by: Gappo, Takehiko, et al.
Published: (2026)

$Σ_1$ gaps as derived models and correctness of mice
by: Schlutzenberg, Farmer, et al.
Published: (2023)

Of Mice and Machetes
by: Henney-Turner, Christopher, et al.
Published: (2024)

Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)

$\star$-translation for Varsovian models
by: Schlutzenberg, Farmer
Published: (2026)

Full normalization for transfinite stacks
by: Schlutzenberg, Farmer
Published: (2021)

Varsovian models $ω$
by: Schlutzenberg, Farmer
Published: (2022)

Ordinal definability in $L[\mathbb{E}]$
by: Schlutzenberg, Farmer
Published: (2020)

The fine structure of operator mice
by: Schlutzenberg, Farmer, et al.
Published: (2016)

Iterability for (transfinite) stacks
by: Schlutzenberg, Farmer
Published: (2018)

Low level definability above large cardinals
by: Schlutzenberg, Farmer
Published: (2024)

Local mantles of $L[x]$
by: Schlutzenberg, Farmer
Published: (2021)

The consistency strength of determinacy when all sets are universally Baire
by: Müller, Sandra
Published: (2021)

Almost Kurepa Suslin trees and destructibility of the Guessing Model Property
by: Lambie-Hanson, Chris, et al.
Published: (2026)