Naturality and Definability III
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914068562968576 |
|---|---|
| author | Asgharzadeh, Mohsen Golshani, Mohammad Shelah, Saharon |
| author_facet | Asgharzadeh, Mohsen Golshani, Mohammad Shelah, Saharon |
| contents | In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality implies definablity. Second, by using the reverse Easton iteration of Cohen forcing notions, we construct a transitive model of ZFC in which every uniformisable construction is weakly natural. Finally, we show that if F is a natural construction on a class K of structures which is represented by some formula, then it is uniformly definable without any extra parameters. Our results answer some questions by Hodges and Shelah. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2309_02090 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Naturality and Definability III Asgharzadeh, Mohsen Golshani, Mohammad Shelah, Saharon Logic In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality implies definablity. Second, by using the reverse Easton iteration of Cohen forcing notions, we construct a transitive model of ZFC in which every uniformisable construction is weakly natural. Finally, we show that if F is a natural construction on a class K of structures which is represented by some formula, then it is uniformly definable without any extra parameters. Our results answer some questions by Hodges and Shelah. |
| title | Naturality and Definability III |
| topic | Logic |
| url | https://arxiv.org/abs/2309.02090 |