:: Library Catalog

Omslagsbillede

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Schlutzenberg, Farmer
Format:	Preprint
Udgivet:	2020
Fag:	Logic 03E45, 03E55
Online adgang:	https://arxiv.org/abs/2012.07185
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

Low level definability above large cardinals
af: Schlutzenberg, Farmer
Udgivet: (2024)

Local mantles of $L[x]$
af: Schlutzenberg, Farmer
Udgivet: (2021)

Fine structure from normal iterability
af: Schlutzenberg, Farmer
Udgivet: (2020)

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

$\star$-translation for Varsovian models
af: Schlutzenberg, Farmer
Udgivet: (2026)

Full normalization for transfinite stacks
af: Schlutzenberg, Farmer
Udgivet: (2021)

Varsovian models $ω$
af: Schlutzenberg, Farmer
Udgivet: (2022)

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

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

Iterability for (transfinite) stacks
af: Schlutzenberg, Farmer
Udgivet: (2018)

Ladder mice
af: Schlutzenberg, Farmer
Udgivet: (2024)

Mouse scales
af: Schlutzenberg, Farmer
Udgivet: (2023)

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

Mice with Woodin cardinals from a Reinhardt
af: Schlutzenberg, Farmer
Udgivet: (2024)

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

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

Analysis of HOD for Admissible Structures
af: Kruschewski, Jan, et al.
Udgivet: (2025)

Varsovian models II
af: Sargsyan, Grigor, et al.
Udgivet: (2021)

On a Conjecture Regarding the Mouse Order for Weasels
af: Kruschewski, Jan, et al.
Udgivet: (2022)

Stationary tower free homogeneously Suslin scales
af: Schlutzenberg, Farmer, et al.
Udgivet: (2024)

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

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

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

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

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

Higher Solovay Models
af: Straffelini, Cesare, et al.
Udgivet: (2025)

Separating Maximality Principles
af: Gappo, Takehiko, et al.
Udgivet: (2025)

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

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

Generic Absoluteness Revisited
af: Fuchino, Sakaé, et al.
Udgivet: (2024)

Reflection and Recurrence
af: Fuchino, Sakaé
Udgivet: (2024)

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

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

On Recurrence Axioms
af: Fuchino, Sakaé, et al.
Udgivet: (2024)

Large cardinals, structural reflection, and the HOD Conjecture
af: Aguilera, Juan P., et al.
Udgivet: (2024)

Iterated club shooting and the stationary-logic constructible model
af: Ya'ar, Ur
Udgivet: (2022)

Monoidal Symmetric Models
af: Basak, Dianthe
Udgivet: (2024)

Large cardinals beyond HOD
af: Aguilera, Juan Pablo, et al.
Udgivet: (2025)

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