Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2405.12720 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908767877070848 |
|---|---|
| author | Fronteau, Ivory |
| author_facet | Fronteau, Ivory |
| contents | We introduce a fragment of continuous first-order logic, analogue of Palyutin formulas (or h-formulas) in classical model theory, which is preserved under reduced products in both directions. We use it to extend classical results on complete theories which are preserved under reduced product and their stability. We also characterize the set of Palyutin sentences, Palyutin theories and other related fragments in terms of their preservation properties, both in the classical setting and the metric one. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_12720 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Preservation under Reduced Products in Continuous Logic Fronteau, Ivory Logic We introduce a fragment of continuous first-order logic, analogue of Palyutin formulas (or h-formulas) in classical model theory, which is preserved under reduced products in both directions. We use it to extend classical results on complete theories which are preserved under reduced product and their stability. We also characterize the set of Palyutin sentences, Palyutin theories and other related fragments in terms of their preservation properties, both in the classical setting and the metric one. |
| title | Preservation under Reduced Products in Continuous Logic |
| topic | Logic |
| url | https://arxiv.org/abs/2405.12720 |