Imagen de Portada

Transferring Compactness

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Benhamou, Tom, Zhang, Jing
Formato:	Preprint
Publicado:	2023
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the Intermediate Models of Strongly Compact Prikry Forcing
por: Benhamou, Tom, et al.
Publicado: (2026)

Commutativity of Cofinal Types
por: Benhamou, Tom
Publicado: (2023)

On Ultrapowers and Cohesive Ultrafilters
por: Benhamou, Tom
Publicado: (2024)

Saturation Properties of Ultrafilters in Canonical Inner Models
por: Benhamou, Tom
Publicado: (2022)

Scales in the Point Spectrum
por: Benhamou, Tom
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Non-Galvin Filters
por: Benhamou, Tom, et al.
Publicado: (2022)

Isomorphism Classes of Generating Sets
por: Benhamou, Tom, et al.
Publicado: (2025)

Negating the Galvin Property
por: Benhamou, Tom, et al.
Publicado: (2021)

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

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

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

Partial Model Theory -- Ultraproducts and Compactness
por: Carnier, Rodolfo Cunha
Publicado: (2024)

On the Trap Space Semantics of Normal Logic Programs
por: Trinh, Van-Giang, et al.
Publicado: (2026)

On the Boolean Network Theory of Datalog$^\neg$
por: Trinh, Van-Giang, et al.
Publicado: (2025)

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
por: Trinh, Van-Giang, et al.
Publicado: (2024)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
por: Suárez, Juan M Santiago, et al.
Publicado: (2025)

Transferring compactness
por: Tom Benhamou, et al.
Publicado: (2024)

On Small Types in Univalent Foundations
por: de Jong, Tom, et al.
Publicado: (2021)

Compactness in team semantics
por: Joni Puljujärvi, et al.
Publicado: (2024)

Tukey-idempotency and strong p-points
por: Benhamou, Tom, et al.
Publicado: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
por: Trinh, Van-Giang, et al.
Publicado: (2025)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

Constructive Ordinal Exponentiation
por: de Jong, Tom, et al.
Publicado: (2025)

Compact Quantitative Theories of Convex Algebras
por: Mio, Matteo
Publicado: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
por: de Jong, Tom, et al.
Publicado: (2026)