2021/10/15 by Balko, Martin, Chodounský, David, Dobrinen, Natasha +4
#Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2110.08409
We characterize the big Ramsey degrees of free amalgamation classes in finite binary languages defined by finitely many forbidden irreducible substructures, thus refining the recent upper bounds given by Zucker. Using this characterization, we show that the Fraïssé limit of each such class admits a strong big Ramsey structure, implying that the automorphism group of the Fraïssé limit has a metrizable universal completion flow.