Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2211.12936 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908684804685824 |
|---|---|
| author | Bartošová, Dana Džamonja, Mirna Patel, Rehana Scow, Lynn |
| author_facet | Bartošová, Dana Džamonja, Mirna Patel, Rehana Scow, Lynn |
| contents | We develop a transfer principle of structural Ramsey theory from finite structures to ultraproducts. We show that under certain mild conditions, when a class of finite structures has finite small Ramsey degrees, under the (Generalized) Continuum Hypothesis the ultraproduct has finite big Ramsey degrees for internal colorings. The necessity of restricting to internal colorings is demonstrated by the example of the ultraproduct of finite linear orders. Under CH, this ultraproduct $\fLL^*$ has, as a spine, $η_1$, an uncountable analogue of the order type of rationals $η$. Finite big Ramsey degrees for $η$ were exactly calculated by Devlin in \cite{Devlin}. It is immediate from \cite{Tod87} that $η_1$ fails to have finite big Ramsey degrees. Moreover, we extend Devlin's coloring to $η_1$ to show that it witnesses big Ramsey degrees of finite tuples in $η$ on every copy of $η$ in $η_1,$ and consequently in $\fLL^*$. This work gives additional confirmation that ultraproducts are a suitable environment for studying Ramsey properties of finite and infinite structures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2211_12936 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Big Ramsey Degrees in Ultraproducts of Finite Structures Bartošová, Dana Džamonja, Mirna Patel, Rehana Scow, Lynn Logic We develop a transfer principle of structural Ramsey theory from finite structures to ultraproducts. We show that under certain mild conditions, when a class of finite structures has finite small Ramsey degrees, under the (Generalized) Continuum Hypothesis the ultraproduct has finite big Ramsey degrees for internal colorings. The necessity of restricting to internal colorings is demonstrated by the example of the ultraproduct of finite linear orders. Under CH, this ultraproduct $\fLL^*$ has, as a spine, $η_1$, an uncountable analogue of the order type of rationals $η$. Finite big Ramsey degrees for $η$ were exactly calculated by Devlin in \cite{Devlin}. It is immediate from \cite{Tod87} that $η_1$ fails to have finite big Ramsey degrees. Moreover, we extend Devlin's coloring to $η_1$ to show that it witnesses big Ramsey degrees of finite tuples in $η$ on every copy of $η$ in $η_1,$ and consequently in $\fLL^*$. This work gives additional confirmation that ultraproducts are a suitable environment for studying Ramsey properties of finite and infinite structures. |
| title | Big Ramsey Degrees in Ultraproducts of Finite Structures |
| topic | Logic |
| url | https://arxiv.org/abs/2211.12936 |