The Compactness Theorem for Enriched Logic
Abstract
The framework of enriched logic extends positive logic (also known as coherent logic) from sets to structures internal to a symmetric monoidal closed category 𝒱. This framework was developed by Rosický and the second-named author. The main novelty of this logic is that the arities of the function and relation symbols are now objects in 𝒱. We prove the compactness theorem for this enriched logic. That is, a set of 𝒱-enriched sequents has a model (internal to 𝒱) if every finite subset has a model. To achieve this, we define ultraproducts of enriched structures and prove enriched versions of Łos' theorem. We then develop some model-theoretic applications. We start with an enriched version of the model-theoretic method of diagrams, establishing a correspondence between homomorphisms whose domain is some enriched structure A and models of the set Diag(A) of all enriched atomic formulas with parameters from A that are true in A. Combining this with our compactness theorem, we prove amalgamation results, laying the foundations for enriched syntactic types (in the model-theoretic sense). We finish the paper with a collection of examples of 𝒱 that our results apply to. Besides recovering the classical case when 𝒱 = Set, these include many presheaf toposes, categories of monoid acts, the category of abelian groups and related additive categories, categories of (small) enriched categories, and the categories of posets and pseudometric spaces.
Related
- A compactness theorem for twisted-unitary elements of integral group rings, with a certified route to the theta-unitary Case A at window B(4) of the Promislow group
- Compactness via Consistency Properties
- Compactness for almost projective modules
- A remark on the compactness of manifolds with non-negative Ricci curvature and uniformly convex boundary
- Compactness in Combinatorial Banach Spaces and Beyond
BibTeX
@misc{kamsma2026compactness,
title = {{The Compactness Theorem for Enriched Logic}},
author = {Mark Kamsma and Giacomo Tendas},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.23278},
eprint = {2610.23278},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.23278},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The Compactness Theorem for Enriched Logic
AU - Mark Kamsma
AU - Giacomo Tendas
PY - 2026
DA - 2026/10/16
PB - arXiv
DO - 10.48550/arxiv.2610.23278
UR - https://arxiv.org/abs/2610.23278
AB - The framework of enriched logic extends positive logic (also known as coherent logic) from sets to structures internal to a symmetric monoidal closed category 𝒱. This framework was developed by Rosický and the second-named author. The main novelty of this logic is that the arities of the function and relation symbols are now objects in 𝒱. We prove the compactness theorem for this enriched logic. That is, a set of 𝒱-enriched sequents has a model (internal to 𝒱) if every finite subset has a model. To achieve this, we define ultraproducts of enriched structures and prove enriched versions of Łos' theorem. We then develop some model-theoretic applications. We start with an enriched version of the model-theoretic method of diagrams, establishing a correspondence between homomorphisms whose domain is some enriched structure A and models of the set Diag(A) of all enriched atomic formulas with parameters from A that are true in A. Combining this with our compactness theorem, we prove amalgamation results, laying the foundations for enriched syntactic types (in the model-theoretic sense). We finish the paper with a collection of examples of 𝒱 that our results apply to. Besides recovering the classical case when 𝒱 = Set, these include many presheaf toposes, categories of monoid acts, the category of abelian groups and related additive categories, categories of (small) enriched categories, and the categories of posets and pseudometric spaces.
ER -