The Compactness Theorem for Enriched Logic
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.23278
curl -X POST /api/v1/records/arxiv/2610.23278/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.23278/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'