Big Ramsey degrees in ultraproducts of finite structures - Université Paris Cité Accéder directement au contenu
Article Dans Une Revue Annals of Pure and Applied Logic Année : 2024

Big Ramsey degrees in ultraproducts of finite structures

Dana Bartošová
  • Fonction : Auteur
Rehana Patel
  • Fonction : Auteur
Lynn Scow
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
1-s2.0-S0168007224000368-main.pdf (695.41 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-04600079 , version 1 (04-06-2024)

Licence

Identifiants

Citer

Dana Bartošová, Mirna Džamonja, Rehana Patel, Lynn Scow. Big Ramsey degrees in ultraproducts of finite structures. Annals of Pure and Applied Logic, 2024, 175 (7), pp.103439. ⟨10.1016/j.apal.2024.103439⟩. ⟨hal-04600079⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More