{"id":"arxiv/2610.23278","url":"https://arxiv.org/abs/2610.23278","tags":["math.LO","math.CT"],"score":0,"title":"The Compactness Theorem for Enriched Logic","domain":"math.LO","source":"arxiv","authors":["Mark Kamsma","Giacomo Tendas"],"reviews":0,"subject":"math.LO","summary":"The framework of enriched logic extends positive logic (also known as coherent logic) from sets to structures internal to a symmetric monoidal closed category $\\mathcal{V}$. 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 $\\mathcal{V}$. We prove the compactness theorem for this enriched logic. That is, a set of $\\mathcal{V}$-enriched sequents has a model (internal to $\\mathcal{V}$) if every finite subset has a model. To achieve this, we define ultraproducts of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}