Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2411.17889 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915562063396864 |
|---|---|
| author | Bartoš, Adam Kubiś, Wiesław |
| author_facet | Bartoš, Adam Kubiś, Wiesław |
| contents | We study the existence of uncountable first-order structures that are homogeneous with respect to their finitely generated substructures. In many classical cases this is either well-known or follows from general facts, for example, if the language is finite and relational then ultrapowers provide arbitrarily large such sturctures. On the other hand, there are no general results saying that uncountable homogeneous structures with a given age exist. We examine the monoid of self-embeddings of a fixed countable homogeneous structure and, using abstract Fraïssé theory, we present a method of constructing an uncountable homogeneous structure, based on the amalgamation property of this monoid. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_17889 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Uncountable homogeneous structures Bartoš, Adam Kubiś, Wiesław Logic 08A35, 03C50 We study the existence of uncountable first-order structures that are homogeneous with respect to their finitely generated substructures. In many classical cases this is either well-known or follows from general facts, for example, if the language is finite and relational then ultrapowers provide arbitrarily large such sturctures. On the other hand, there are no general results saying that uncountable homogeneous structures with a given age exist. We examine the monoid of self-embeddings of a fixed countable homogeneous structure and, using abstract Fraïssé theory, we present a method of constructing an uncountable homogeneous structure, based on the amalgamation property of this monoid. |
| title | Uncountable homogeneous structures |
| topic | Logic 08A35, 03C50 |
| url | https://arxiv.org/abs/2411.17889 |