Saved in:
| Main Authors: | Goldberg, Gabriel, Osinski, Jonathan, Poveda, Alejandro |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2411.03558 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026)
by: Goldberg, Gabriel, et al.
Published: (2026)
On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
by: Goldberg, Gabriel, et al.
Published: (2025)
by: Goldberg, Gabriel, et al.
Published: (2025)
Large cardinals beyond HOD
by: Aguilera, Juan Pablo, et al.
Published: (2025)
by: Aguilera, Juan Pablo, et al.
Published: (2025)
Isomorphism Classes of Generating Sets
by: Benhamou, Tom, et al.
Published: (2025)
by: Benhamou, Tom, et al.
Published: (2025)
Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
by: Gitman, Victoria, et al.
Published: (2024)
by: Gitman, Victoria, et al.
Published: (2024)
Axiom $\mathcal{A}$ and supercompactness
by: Poveda, Alejandro
Published: (2024)
by: Poveda, Alejandro
Published: (2024)
Model-theoretic characterizations of large cardinals (Re)${}^2$visited
by: Boney, Will, et al.
Published: (2025)
by: Boney, Will, et al.
Published: (2025)
On products of ultrafilters
by: Goldberg, Gabriel
Published: (2021)
by: Goldberg, Gabriel
Published: (2021)
The uniqueness of elementary embeddings
by: Goldberg, Gabriel
Published: (2021)
by: Goldberg, Gabriel
Published: (2021)
Non-Normal Magidor-Radin Types of Forcings
by: Benhamou, Tom, et al.
Published: (2024)
by: Benhamou, Tom, et al.
Published: (2024)
The directedness of the Rudin-Keisler order at measurable cardinals
by: Hayut, Yair, et al.
Published: (2026)
by: Hayut, Yair, et al.
Published: (2026)
A Solovay-like model at $\aleph_ω$
by: Poveda, Alejandro, et al.
Published: (2025)
by: Poveda, Alejandro, et al.
Published: (2025)
On Shelah's Approachability Ideal
by: Jakob, Hannes, et al.
Published: (2025)
by: Jakob, Hannes, et al.
Published: (2025)
The Gluing Property
by: Hayut, Yair, et al.
Published: (2022)
by: Hayut, Yair, et al.
Published: (2022)
No cardinal correct inner model elementarily embeds into the universe
by: Goldberg, Gabriel, et al.
Published: (2024)
by: Goldberg, Gabriel, et al.
Published: (2024)
Applications of the Magidor Iteration to Ultrafilter Theory
by: Benhamou, Tom, et al.
Published: (2024)
by: Benhamou, Tom, et al.
Published: (2024)
The Galvin property under the Ultrapower Axiom
by: Benhamou, Tom, et al.
Published: (2023)
by: Benhamou, Tom, et al.
Published: (2023)
Measures that violate the Generalized Continuum Hypothesis
by: Benhamou, Tom, et al.
Published: (2025)
by: Benhamou, Tom, et al.
Published: (2025)
Analysis of HOD for Admissible Structures
by: Kruschewski, Jan, et al.
Published: (2025)
by: Kruschewski, Jan, et al.
Published: (2025)
When Darwin met Ianus: dichotomies of expressivity
by: Brunar, Johanna, et al.
Published: (2025)
by: Brunar, Johanna, et al.
Published: (2025)
The Baire and perfect set properties at singulars cardinals
by: Dimonte, Vincenzo, et al.
Published: (2024)
by: Dimonte, Vincenzo, et al.
Published: (2024)
Model theory of class-sized logics
by: Osinski, Jonathan, et al.
Published: (2026)
by: Osinski, Jonathan, et al.
Published: (2026)
The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)
by: Cheng, Yong
Published: (2018)
Almost free modules, perfect decomposition and Enochs's conjecture
by: Cortés-Izurdiaga, Manuel, et al.
Published: (2024)
by: Cortés-Izurdiaga, Manuel, et al.
Published: (2024)
The number of measures on very large measurable cardinals
by: Apter, Arthur W., et al.
Published: (2026)
by: Apter, Arthur W., et al.
Published: (2026)
Non-Galvin Filters
by: Benhamou, Tom, et al.
Published: (2022)
by: Benhamou, Tom, et al.
Published: (2022)
Perfect set dichotomy theorem in generalized Solovay model
by: Sakai, Hiroshi, et al.
Published: (2025)
by: Sakai, Hiroshi, et al.
Published: (2025)
A Banach space with $L$-orthogonal sequences but without $L$-orthogonal elements
by: Avilés, Antonio, et al.
Published: (2025)
by: Avilés, Antonio, et al.
Published: (2025)
Approximation properties of torsion classes
by: Cox, Sean, et al.
Published: (2024)
by: Cox, Sean, et al.
Published: (2024)
Negating the Galvin Property
by: Benhamou, Tom, et al.
Published: (2021)
by: Benhamou, Tom, et al.
Published: (2021)
Large cardinals, structural reflection, and the HOD Conjecture
by: Aguilera, Juan P., et al.
Published: (2024)
by: Aguilera, Juan P., et al.
Published: (2024)
On Efficient Algorithms For Partial Quantifier Elimination
by: Goldberg, Eugene
Published: (2024)
by: Goldberg, Eugene
Published: (2024)
Structure-Aware Computing, Partial Quantifier Elimination And SAT
by: Goldberg, Eugene
Published: (2024)
by: Goldberg, Eugene
Published: (2024)
Solving SAT By Computing A Stable Set Of Points In Clusters
by: Goldberg, Eugene
Published: (2025)
by: Goldberg, Eugene
Published: (2025)
Partial Quantifier Elimination By Certificate Clauses
by: Goldberg, Eugene
Published: (2020)
by: Goldberg, Eugene
Published: (2020)
Property Checking Without Inductive Invariants
by: Goldberg, Eugene
Published: (2016)
by: Goldberg, Eugene
Published: (2016)
Galvin's property at large cardinals and an application to partition calculus
by: Benhamou, Tom, et al.
Published: (2022)
by: Benhamou, Tom, et al.
Published: (2022)
Generic dichotomy for homomorphisms for $E_0^\mathbb{N}$
by: Shani, Assaf
Published: (2024)
by: Shani, Assaf
Published: (2024)
An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
by: Feller, Roman, et al.
Published: (2024)
by: Feller, Roman, et al.
Published: (2024)
A dichotomy for countable unions of smooth Borel equivalence relations
by: de Rancourt, N., et al.
Published: (2021)
by: de Rancourt, N., et al.
Published: (2021)
Similar Items
-
Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026) -
On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
by: Goldberg, Gabriel, et al.
Published: (2025) -
Large cardinals beyond HOD
by: Aguilera, Juan Pablo, et al.
Published: (2025) -
Isomorphism Classes of Generating Sets
by: Benhamou, Tom, et al.
Published: (2025) -
Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
by: Gitman, Victoria, et al.
Published: (2024)