Partial Model Theory -- Ultraproducts and Compactness
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909205789671424 |
|---|---|
| author | Carnier, Rodolfo Cunha |
| author_facet | Carnier, Rodolfo Cunha |
| contents | In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures approach, which is a philosophical conception that emerged in the context of contemporary philosophy of science. Nevertheless, the notions developed within this conception, in particular the two mentioned, have a model-theoretic content that has not been explored so far, so that this paper is part of a project where we intend to analyze their formal properties by means of the development of a partial model theory, which is an extension of traditional model theory to partial structures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_10388 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Partial Model Theory -- Ultraproducts and Compactness Carnier, Rodolfo Cunha Logic In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures approach, which is a philosophical conception that emerged in the context of contemporary philosophy of science. Nevertheless, the notions developed within this conception, in particular the two mentioned, have a model-theoretic content that has not been explored so far, so that this paper is part of a project where we intend to analyze their formal properties by means of the development of a partial model theory, which is an extension of traditional model theory to partial structures. |
| title | Partial Model Theory -- Ultraproducts and Compactness |
| topic | Logic |
| url | https://arxiv.org/abs/2405.10388 |