Image de couverture de livre

Transferring Compactness

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Benhamou, Tom, Zhang, Jing
Format:	Preprint
Publié:	2023
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Intermediate Models of Strongly Compact Prikry Forcing
par: Benhamou, Tom, et autres
Publié: (2026)

Commutativity of Cofinal Types
par: Benhamou, Tom
Publié: (2023)

On Ultrapowers and Cohesive Ultrafilters
par: Benhamou, Tom
Publié: (2024)

Saturation Properties of Ultrafilters in Canonical Inner Models
par: Benhamou, Tom
Publié: (2022)

Scales in the Point Spectrum
par: Benhamou, Tom
Publié: (2026)

A Small Ultrafilter Number at Every Singular Cardinal
par: Benhamou, Tom, et autres
Publié: (2023)

The Galvin property under the Ultrapower Axiom
par: Benhamou, Tom, et autres
Publié: (2023)

Cofinal types of ultrafilters over measurable cardinals
par: Benhamou, Tom, et autres
Publié: (2023)

On the Tukey types of Fubini products
par: Benhamou, Tom, et autres
Publié: (2023)

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
par: Benhamou, Tom, et autres
Publié: (2024)

On Cohen and Prikry Forcing Notions
par: Benhamou, Tom, et autres
Publié: (2022)

Measures that violate the Generalized Continuum Hypothesis
par: Benhamou, Tom, et autres
Publié: (2025)

Cardinals of the $P_κ(λ)$-Filter Games
par: Benhamou, Tom, et autres
Publié: (2025)

Applications of the Magidor Iteration to Ultrafilter Theory
par: Benhamou, Tom, et autres
Publié: (2024)

Non-Normal Magidor-Radin Types of Forcings
par: Benhamou, Tom, et autres
Publié: (2024)

Eventual Capture on a Measurable Cardinal
par: Benhamou, Tom, et autres
Publié: (2025)

On the Asymptotic Behavior of Guessing Sequences
par: Benhamou, Tom, et autres
Publié: (2026)

Supercompact Measures and the Galvin Property
par: Benhamou, Tom, et autres
Publié: (2025)

Diamond principles and Tukey-top ultrafilters on a countable set
par: Benhamou, Tom, et autres
Publié: (2024)

Ultrafilters over Successor Cardinals and the Tukey Order
par: Benhamou, Tom, et autres
Publié: (2025)

Non-Galvin Filters
par: Benhamou, Tom, et autres
Publié: (2022)

Isomorphism Classes of Generating Sets
par: Benhamou, Tom, et autres
Publié: (2025)

Negating the Galvin Property
par: Benhamou, Tom, et autres
Publié: (2021)

Galvin's property at large cardinals and an application to partition calculus
par: Benhamou, Tom, et autres
Publié: (2022)

Static Analysis of Logic Programs via Boolean Networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

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

Partial Model Theory -- Ultraproducts and Compactness
par: Carnier, Rodolfo Cunha
Publié: (2024)

On the Trap Space Semantics of Normal Logic Programs
par: Trinh, Van-Giang, et autres
Publié: (2026)

On the Boolean Network Theory of Datalog$^\neg$
par: Trinh, Van-Giang, et autres
Publié: (2025)

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
par: Suárez, Juan M Santiago, et autres
Publié: (2025)

Transferring compactness
par: Tom Benhamou, et autres
Publié: (2024)

On Small Types in Univalent Foundations
par: de Jong, Tom, et autres
Publié: (2021)

Compactness in team semantics
par: Joni Puljujärvi, et autres
Publié: (2024)

Tukey-idempotency and strong p-points
par: Benhamou, Tom, et autres
Publié: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
par: Trinh, Van-Giang, et autres
Publié: (2025)

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)

Constructive Ordinal Exponentiation
par: de Jong, Tom, et autres
Publié: (2025)

Compact Quantitative Theories of Convex Algebras
par: Mio, Matteo
Publié: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)