Testing definitional equivalence of theories via automorphism groups
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915144876949504 |
|---|---|
| author | Andréka, H. Madarász, J. Németi, I. Székely, G. |
| author_facet | Andréka, H. Madarász, J. Németi, I. Székely, G. |
| contents | Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, Glymour and Halvorson. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2211_14232 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Testing definitional equivalence of theories via automorphism groups Andréka, H. Madarász, J. Németi, I. Székely, G. Logic 03C40 (Primary) 03C20, 08A35, 03B10, 03A10, 18Cxx (Secondary) Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, Glymour and Halvorson. |
| title | Testing definitional equivalence of theories via automorphism groups |
| topic | Logic 03C40 (Primary) 03C20, 08A35, 03B10, 03A10, 18Cxx (Secondary) |
| url | https://arxiv.org/abs/2211.14232 |