Cohen-like first order structures
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929636896669696 |
|---|---|
| author | Kostana, Ziemowit |
| author_facet | Kostana, Ziemowit |
| contents | We study uncountable structures similar to the Fraïssé limits. The standard inductive arguments from the Fraïssé theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In particular, the generic structures we investigate exist only in generic extensions of the universe. We prove that in most of the interesting cases the uncountable generic structures are rigid. Moreover, we provide a (consistent) example of an uncountable, dense set of reals with the group of integers as its automorphism group. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2009_03552 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Cohen-like first order structures Kostana, Ziemowit Logic 06A05 03C25 03C55 03E55 We study uncountable structures similar to the Fraïssé limits. The standard inductive arguments from the Fraïssé theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In particular, the generic structures we investigate exist only in generic extensions of the universe. We prove that in most of the interesting cases the uncountable generic structures are rigid. Moreover, we provide a (consistent) example of an uncountable, dense set of reals with the group of integers as its automorphism group. |
| title | Cohen-like first order structures |
| topic | Logic 06A05 03C25 03C55 03E55 |
| url | https://arxiv.org/abs/2009.03552 |