Copertina

Ultrapowers of determinacy models as iteration trees on HOD

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Goldberg, Gabriel, Sargsyan, Grigor, Siskind, Benjamin
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Galvin property under the Ultrapower Axiom
di: Benhamou, Tom, et al.
Pubblicazione: (2023)

Hjorth's reflection argument
di: Sargsyan, Grigor
Pubblicazione: (2021)

Generic Generators
di: Sargsyan, Grigor
Pubblicazione: (2023)

On the optimality of the HOD dichotomy
di: Goldberg, Gabriel, et al.
Pubblicazione: (2024)

Towards a generic absoluteness theorem for Chang models
di: Müller, Sandra, et al.
Pubblicazione: (2023)

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
di: Goldberg, Gabriel, et al.
Pubblicazione: (2025)

Chang models over derived models with supercompact measures
di: Gappo, Takehiko, et al.
Pubblicazione: (2023)

The Largest Suslin Axiom
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)

The exact strength of generic absoluteness for the universally Baire sets
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
di: Blue, Douglas, et al.
Pubblicazione: (2024)

Gödel's Program in Set Theory
di: Müller, Sandra, et al.
Pubblicazione: (2024)

The uniqueness of the core model
di: Siskind, Benjamin
Pubblicazione: (2025)

On Ultrapowers and Cohesive Ultrafilters
di: Benhamou, Tom
Pubblicazione: (2024)

Nairian Models
di: Blue, Douglas, et al.
Pubblicazione: (2025)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
di: Larson, Paul B., et al.
Pubblicazione: (2025)

Ultrapowers of spectral subspaces
di: Ando, Hiroshi, et al.
Pubblicazione: (2026)

Definable Coherent Ultrapowers and Elementary Extensions
di: Boney, Will
Pubblicazione: (2016)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
di: Aksornthong, Navin, et al.
Pubblicazione: (2023)

The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
di: Blue, Douglas, et al.
Pubblicazione: (2026)

Partial Tower Sealing
di: Sargsyan, Grigor, et al.
Pubblicazione: (2025)

Forcing More DC Over the Chang Model Using the Thorn Sequence
di: Holland, James, et al.
Pubblicazione: (2022)

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

Large cardinals beyond HOD
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)

Building Models of Determinacy from Below
di: Kasum, Obrad, et al.
Pubblicazione: (2024)

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

Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy
di: Schindler, Ralf, et al.
Pubblicazione: (2024)

No cardinal correct inner model elementarily embeds into the universe
di: Goldberg, Gabriel, et al.
Pubblicazione: (2024)

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
di: Lutz, Patrick, et al.
Pubblicazione: (2023)

On products of ultrafilters
di: Goldberg, Gabriel
Pubblicazione: (2021)

The uniqueness of elementary embeddings
di: Goldberg, Gabriel
Pubblicazione: (2021)

Measures that violate the Generalized Continuum Hypothesis
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

Applications of the Magidor Iteration to Ultrafilter Theory
di: Benhamou, Tom, et al.
Pubblicazione: (2024)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
di: Cheng, Yong
Pubblicazione: (2018)

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

A formalization of Borel determinacy in Lean
di: Manthe, Sven
Pubblicazione: (2025)

Isomorphism Classes of Generating Sets
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
di: Müller, Sandra, et al.
Pubblicazione: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
di: Goldberg, Eugene
Pubblicazione: (2024)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
di: Goldberg, Eugene
Pubblicazione: (2024)

Solving SAT By Computing A Stable Set Of Points In Clusters
di: Goldberg, Eugene
Pubblicazione: (2025)