Cover Image

On the Intermediate Models of Strongly Compact Prikry Forcing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Benhamou, Tom, Thei, Sebastiano, Weltsch, Ben-Zion
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Supercompact Measures and the Galvin Property
by: Benhamou, Tom, et al.
Published: (2025)

On Cohen and Prikry Forcing Notions
by: Benhamou, Tom, et al.
Published: (2022)

A Solovay-like model at $\aleph_ω$
by: Poveda, Alejandro, et al.
Published: (2025)

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

Transferring Compactness
by: Benhamou, Tom, et al.
Published: (2023)

Non-Normal Magidor-Radin Types of Forcings
by: Benhamou, Tom, et al.
Published: (2024)

The Baire and perfect set properties at singulars cardinals
by: Dimonte, Vincenzo, et al.
Published: (2024)

Saturation Properties of Ultrafilters in Canonical Inner Models
by: Benhamou, Tom
Published: (2022)

Maximal Prikry Sequences
by: Schimmerling, Ernest, et al.
Published: (2026)

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

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
by: Adkisson, William, et al.
Published: (2025)

A Note on a Theorem of Apter
by: Mohammadpour, Rahman, et al.
Published: (2026)

Scales in the Point Spectrum
by: Benhamou, Tom
Published: (2026)

Commutativity of Cofinal Types
by: Benhamou, Tom
Published: (2023)

On Ultrapowers and Cohesive Ultrafilters
by: Benhamou, Tom
Published: (2024)

On fresh sets in iterations of Prikry type forcing notions
by: Gitik, Moti, et al.
Published: (2024)

A Small Ultrafilter Number at Every Singular Cardinal
by: Benhamou, Tom, et al.
Published: (2023)

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

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
by: Benhamou, Tom, et al.
Published: (2024)

Cofinal types of ultrafilters over measurable cardinals
by: Benhamou, Tom, et al.
Published: (2023)

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

Cardinals of the $P_κ(λ)$-Filter Games
by: Benhamou, Tom, et al.
Published: (2025)

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

On the Tukey types of Fubini products
by: Benhamou, Tom, et al.
Published: (2023)

On the Asymptotic Behavior of Guessing Sequences
by: Benhamou, Tom, et al.
Published: (2026)

Eventual Capture on a Measurable Cardinal
by: Benhamou, Tom, et al.
Published: (2025)

Diamond principles and Tukey-top ultrafilters on a countable set
by: Benhamou, Tom, et al.
Published: (2024)

Ultrafilters over Successor Cardinals and the Tukey Order
by: Benhamou, Tom, et al.
Published: (2025)

Non-Galvin Filters
by: Benhamou, Tom, et al.
Published: (2022)

Isomorphism Classes of Generating Sets
by: Benhamou, Tom, et al.
Published: (2025)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

Negating the Galvin Property
by: Benhamou, Tom, et al.
Published: (2021)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Preservation of Topological Properties by Strongly Proper Forcings
by: Gilton, Thomas, et al.
Published: (2024)

Galvin's property at large cardinals and an application to partition calculus
by: Benhamou, Tom, et al.
Published: (2022)

Static Analysis of Logic Programs via Boolean Networks
by: Trinh, Van-Giang, et al.
Published: (2024)

Partial Model Theory -- Ultraproducts and Compactness
by: Carnier, Rodolfo Cunha
Published: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)