The Universal Property of the Henkin Construction: A Categorical Perspective on the Completeness Theorem
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911224934957056 |
|---|---|
| author | Barreto, Joaquim Reizi |
| author_facet | Barreto, Joaquim Reizi |
| contents | This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic results-a statement that generally fails without strong assumptions-we focus on a precise and provable reformulation. Specifically, we show that the model obtained via the Henkin construction satisfies a universal property: it serves as an initial object in an appropriate category of models. From this perspective, any other model of the extended theory admits a unique structure-preserving map from the Henkin model. We formalize this insight using the language of categories and functors, defining a rigorous correspondence between logical theories and their models. This universal characterization explains the power and generality of the completeness theorem while avoiding problematic claims of isomorphism. The framework we present offers a structured and conceptually transparent understanding of model existence in logic and sets the stage for further categorical analyses in related domains. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_12144 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The Universal Property of the Henkin Construction: A Categorical Perspective on the Completeness Theorem Barreto, Joaquim Reizi General Mathematics This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic results-a statement that generally fails without strong assumptions-we focus on a precise and provable reformulation. Specifically, we show that the model obtained via the Henkin construction satisfies a universal property: it serves as an initial object in an appropriate category of models. From this perspective, any other model of the extended theory admits a unique structure-preserving map from the Henkin model. We formalize this insight using the language of categories and functors, defining a rigorous correspondence between logical theories and their models. This universal characterization explains the power and generality of the completeness theorem while avoiding problematic claims of isomorphism. The framework we present offers a structured and conceptually transparent understanding of model existence in logic and sets the stage for further categorical analyses in related domains. |
| title | The Universal Property of the Henkin Construction: A Categorical Perspective on the Completeness Theorem |
| topic | General Mathematics |
| url | https://arxiv.org/abs/2503.12144 |