Image de couverture de livre

Varsovian models $ω$

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Schlutzenberg, Farmer
Format:	Preprint
Publié:	2022
Sujets:	Logic 03E45, 03E55
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

$\star$-translation for Varsovian models
par: Schlutzenberg, Farmer
Publié: (2026)

Varsovian models II
par: Sargsyan, Grigor, et autres
Publié: (2021)

Power $Σ_1$ in Card with two Woodin cardinals
par: Schlutzenberg, Farmer
Publié: (2025)

Fine structure from normal iterability
par: Schlutzenberg, Farmer
Publié: (2020)

Full normalization for transfinite stacks
par: Schlutzenberg, Farmer
Publié: (2021)

Full normalization for $κ^+$-supercompactness
par: Schlutzenberg, Farmer
Publié: (2025)

The initial segment condition for $κ^+$-supercompactness
par: Schlutzenberg, Farmer
Publié: (2023)

Ordinal definability in $L[\mathbb{E}]$
par: Schlutzenberg, Farmer
Publié: (2020)

Iterability for (transfinite) stacks
par: Schlutzenberg, Farmer
Publié: (2018)

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

Ladder mice
par: Schlutzenberg, Farmer
Publié: (2024)

Mouse scales
par: Schlutzenberg, Farmer
Publié: (2023)

$Σ_1$ gaps as derived models and correctness of mice
par: Schlutzenberg, Farmer, et autres
Publié: (2023)

Local mantles of $L[x]$
par: Schlutzenberg, Farmer
Publié: (2021)

Mice with Woodin cardinals from a Reinhardt
par: Schlutzenberg, Farmer
Publié: (2024)

Low level definability above large cardinals
par: Schlutzenberg, Farmer
Publié: (2024)

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

The fine structure of operator mice
par: Schlutzenberg, Farmer, et autres
Publié: (2016)

Analysis of HOD for Admissible Structures
par: Kruschewski, Jan, et autres
Publié: (2025)

On a Conjecture Regarding the Mouse Order for Weasels
par: Kruschewski, Jan, et autres
Publié: (2022)

Stationary tower free homogeneously Suslin scales
par: Schlutzenberg, Farmer, et autres
Publié: (2024)

Models for short sequences of measures in the cofinality-$ω$ constructible model
par: Ya'ar, Ur
Publié: (2021)

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
par: Hoffelner, Stefan, et autres
Publié: (2022)

Of Mice and Machetes
par: Henney-Turner, Christopher, et autres
Publié: (2024)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
par: Watson, Connor
Publié: (2024)

Long games just beyond fixed countable length
par: Gappo, Takehiko, et autres
Publié: (2026)

Descriptive properties of I2-embeddings
par: Dimonte, Vincenzo, et autres
Publié: (2023)

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

Higher Solovay Models
par: Straffelini, Cesare, et autres
Publié: (2025)

Separating Maximality Principles
par: Gappo, Takehiko, et autres
Publié: (2025)

Iterated club shooting and the stationary-logic constructible model
par: Ya'ar, Ur
Publié: (2022)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
par: Lücke, Philipp
Publié: (2024)

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
par: Hoffelner, Stefan
Publié: (2026)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
par: Hoffelner, Stefan
Publié: (2026)

Generic Absoluteness Revisited
par: Fuchino, Sakaé, et autres
Publié: (2024)

Reflection and Recurrence
par: Fuchino, Sakaé
Publié: (2024)

Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
par: Fuchino, Sakaé
Publié: (2025)

On Recurrence Axioms
par: Fuchino, Sakaé, et autres
Publié: (2024)

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

An Iteration Theorem for $ω_1$-preserving Forcings
par: Lietz, Andreas
Publié: (2024)