Cover Image

Descriptive properties of I2-embeddings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dimonte, Vincenzo, Iannella, Martina, Lücke, Philipp
Format:	Preprint
Published:	2023
Subjects:	Logic 03E55, 03E35, 03E45, 03E47
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The complexity of non-stationary ideals
by: Lücke, Philipp
Published: (2024)

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

Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
by: Dimonte, Vincenzo, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

Kurepa trees, continuous images, and perfect set properties
by: Lambie-Hanson, Chris, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

Large cardinals beyond HOD
by: Aguilera, Juan Pablo, et al.
Published: (2025)

Generic Absoluteness Revisited
by: Fuchino, Sakaé, et al.
Published: (2024)

Reflection and Recurrence
by: Fuchino, Sakaé
Published: (2024)

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

On Recurrence Axioms
by: Fuchino, Sakaé, et al.
Published: (2024)

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

Critical embeddings
by: Karagila, Asaf, et al.
Published: (2024)

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

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

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

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

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

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

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

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