Imagen de Portada

Low level definability above large cardinals

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Schlutzenberg, Farmer
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03E55, 03E45, 03E15, 03E05
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Mice with Woodin cardinals from a Reinhardt
por: Schlutzenberg, Farmer
Publicado: (2024)

Ladder mice
por: Schlutzenberg, Farmer
Publicado: (2024)

Mouse scales
por: Schlutzenberg, Farmer
Publicado: (2023)

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

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

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

Local mantles of $L[x]$
por: Schlutzenberg, Farmer
Publicado: (2021)

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

Fine structure from normal iterability
por: Schlutzenberg, Farmer
Publicado: (2020)

$\star$-translation for Varsovian models
por: Schlutzenberg, Farmer
Publicado: (2026)

Full normalization for transfinite stacks
por: Schlutzenberg, Farmer
Publicado: (2021)

Varsovian models $ω$
por: Schlutzenberg, Farmer
Publicado: (2022)

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

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

Iterability for (transfinite) stacks
por: Schlutzenberg, Farmer
Publicado: (2018)

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

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

Varsovian models II
por: Sargsyan, Grigor, et al.
Publicado: (2021)

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

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

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

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

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

Large cardinals beyond HOD
por: Aguilera, Juan Pablo, et al.
Publicado: (2025)

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

Higher Solovay Models
por: Straffelini, Cesare, et al.
Publicado: (2025)

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

Ketonen's question and other cardinal sins
por: Rinot, Assaf, et al.
Publicado: (2024)

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

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

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

Proper classes of maximal $θ$-independent families from large cardinals
por: Ryan-Smith, Calliope
Publicado: (2024)

Compactness for small cardinals in mathematics: principles, consequences, and limitations
por: Honzik, Radek
Publicado: (2025)

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

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

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

Separating Maximality Principles
por: Gappo, Takehiko, et al.
Publicado: (2025)

Generic Absoluteness Revisited
por: Fuchino, Sakaé, et al.
Publicado: (2024)

Reflection and Recurrence
por: Fuchino, Sakaé
Publicado: (2024)

On Recurrence Axioms
por: Fuchino, Sakaé, et al.
Publicado: (2024)