Buchumschlag

Varsovian models II

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sargsyan, Grigor, Schindler, Ralf, Schlutzenberg, Farmer
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic 03E45, 03E55, 03E40
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Varsovian models $ω$
von: Schlutzenberg, Farmer
Veröffentlicht: (2022)

$\star$-translation for Varsovian models
von: Schlutzenberg, Farmer
Veröffentlicht: (2026)

Local mantles of $L[x]$
von: Schlutzenberg, Farmer
Veröffentlicht: (2021)

On a Conjecture Regarding the Mouse Order for Weasels
von: Kruschewski, Jan, et al.
Veröffentlicht: (2022)

Ladder mice
von: Schlutzenberg, Farmer
Veröffentlicht: (2024)

Mouse scales
von: Schlutzenberg, Farmer
Veröffentlicht: (2023)

Full normalization for transfinite stacks
von: Schlutzenberg, Farmer
Veröffentlicht: (2021)

Power $Σ_1$ in Card with two Woodin cardinals
von: Schlutzenberg, Farmer
Veröffentlicht: (2025)

Fine structure from normal iterability
von: Schlutzenberg, Farmer
Veröffentlicht: (2020)

Full normalization for $κ^+$-supercompactness
von: Schlutzenberg, Farmer
Veröffentlicht: (2025)

The initial segment condition for $κ^+$-supercompactness
von: Schlutzenberg, Farmer
Veröffentlicht: (2023)

Ordinal definability in $L[\mathbb{E}]$
von: Schlutzenberg, Farmer
Veröffentlicht: (2020)

Iterability for (transfinite) stacks
von: Schlutzenberg, Farmer
Veröffentlicht: (2018)

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

Mice with Woodin cardinals from a Reinhardt
von: Schlutzenberg, Farmer
Veröffentlicht: (2024)

Low level definability above large cardinals
von: Schlutzenberg, Farmer
Veröffentlicht: (2024)

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

$Σ_1$ gaps as derived models and correctness of mice
von: Schlutzenberg, Farmer, et al.
Veröffentlicht: (2023)

The fine structure of operator mice
von: Schlutzenberg, Farmer, et al.
Veröffentlicht: (2016)

Analysis of HOD for Admissible Structures
von: Kruschewski, Jan, et al.
Veröffentlicht: (2025)

Partial Tower Sealing
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2025)

Forcing More DC Over the Chang Model Using the Thorn Sequence
von: Holland, James, et al.
Veröffentlicht: (2022)

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
von: Hoffelner, Stefan, et al.
Veröffentlicht: (2022)

Stationary tower free homogeneously Suslin scales
von: Schlutzenberg, Farmer, et al.
Veröffentlicht: (2024)

Building Models of Determinacy from Below
von: Kasum, Obrad, et al.
Veröffentlicht: (2024)

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
von: Levinson, Derek, et al.
Veröffentlicht: (2022)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
von: Watson, Connor
Veröffentlicht: (2024)

Long games just beyond fixed countable length
von: Gappo, Takehiko, et al.
Veröffentlicht: (2026)

Clarifying ordinals
von: Schweber, Noah
Veröffentlicht: (2024)

Of Mice and Machetes
von: Henney-Turner, Christopher, et al.
Veröffentlicht: (2024)

The consistency strength of determinacy when all sets are universally Baire
von: Müller, Sandra
Veröffentlicht: (2021)

Descriptive properties of I2-embeddings
von: Dimonte, Vincenzo, et al.
Veröffentlicht: (2023)

Higher Solovay Models
von: Straffelini, Cesare, et al.
Veröffentlicht: (2025)

Separating Maximality Principles
von: Gappo, Takehiko, et al.
Veröffentlicht: (2025)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2026)

Generic Absoluteness Revisited
von: Fuchino, Sakaé, et al.
Veröffentlicht: (2024)

Reflection and Recurrence
von: Fuchino, Sakaé
Veröffentlicht: (2024)

Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
von: Fuchino, Sakaé
Veröffentlicht: (2025)

On Recurrence Axioms
von: Fuchino, Sakaé, et al.
Veröffentlicht: (2024)

Iterated club shooting and the stationary-logic constructible model
von: Ya'ar, Ur
Veröffentlicht: (2022)