Copertina

Higher Solovay Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Straffelini, Cesare, Thei, Sebastiano
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03E45, 03E55, 03E15, 03E35
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Terminal Absoluteness of Collapse Forcings
di: Straffelini, Cesare
Pubblicazione: (2025)

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

Ladder mice
di: Schlutzenberg, Farmer
Pubblicazione: (2024)

Mouse scales
di: Schlutzenberg, Farmer
Pubblicazione: (2023)

Separating Maximality Principles
di: Gappo, Takehiko, et al.
Pubblicazione: (2025)

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

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

Low level definability above large cardinals
di: Schlutzenberg, Farmer
Pubblicazione: (2024)

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

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

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

$Σ^1_3$ sets in the Sacks model
di: Schilhan, Jonathan
Pubblicazione: (2025)

Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
di: Hoffelner, Stefan
Pubblicazione: (2025)

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
di: Hoffelner, Stefan
Pubblicazione: (2020)

Locally countable graphs of second projective class not generated by countably many projective functions
di: Kanovei, Vladimir, et al.
Pubblicazione: (2026)

A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
di: Hoffelner, Stefan
Pubblicazione: (2023)

The Consistency of the $\bf{Σ^1_3}$-Separation Property
di: Hoffelner, Stefan
Pubblicazione: (2019)

Forcing Axioms, the Uniformization and the Basis Property
di: Hoffelner, Stefan
Pubblicazione: (2020)

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

Higher walks and squares
di: Lambie-Hanson, Chris, et al.
Pubblicazione: (2025)

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

Varsovian models II
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)

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

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

Local mantles of $L[x]$
di: Schlutzenberg, Farmer
Pubblicazione: (2021)

Mice with Woodin cardinals from a Reinhardt
di: Schlutzenberg, Farmer
Pubblicazione: (2024)

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

Generic Absoluteness Revisited
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)

Reflection and Recurrence
di: Fuchino, Sakaé
Pubblicazione: (2024)

On Recurrence Axioms
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)

On Indestructible Strongly Guessing Models
di: Mohammadpour, Rahman, et al.
Pubblicazione: (2023)

Almost Kurepa Suslin trees and destructibility of the Guessing Model Property
di: Lambie-Hanson, Chris, et al.
Pubblicazione: (2026)

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

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

Fine structure from normal iterability
di: Schlutzenberg, Farmer
Pubblicazione: (2020)

$\star$-translation for Varsovian models
di: Schlutzenberg, Farmer
Pubblicazione: (2026)

Full normalization for transfinite stacks
di: Schlutzenberg, Farmer
Pubblicazione: (2021)

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

Varsovian models $ω$
di: Schlutzenberg, Farmer
Pubblicazione: (2022)