Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.04116 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910514490114048 |
|---|---|
| author | Aiguier, Marc Bloch, Isabelle Pascual, Romain |
| author_facet | Aiguier, Marc Bloch, Isabelle Pascual, Romain |
| contents | In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g., Cartesian, regular, or coherent categories, Grothendieck, or elementary toposes. We proposed an entailment system formulated as a sequent calculus which we proved complete. Building on this foundation, our current work explores model theory within abstract logic. More precisely, we generalize one of the most important and powerful classical model theory methods, namely the ultraproduct method, and show its fundamental theorem, i.e., Los's theorem. The result is shown as independently as possible of a given quantifier. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_04116 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Ultraproducts in abstract categorical logic Aiguier, Marc Bloch, Isabelle Pascual, Romain Logic in Computer Science In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g., Cartesian, regular, or coherent categories, Grothendieck, or elementary toposes. We proposed an entailment system formulated as a sequent calculus which we proved complete. Building on this foundation, our current work explores model theory within abstract logic. More precisely, we generalize one of the most important and powerful classical model theory methods, namely the ultraproduct method, and show its fundamental theorem, i.e., Los's theorem. The result is shown as independently as possible of a given quantifier. |
| title | Ultraproducts in abstract categorical logic |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2407.04116 |