تقرير
Characterisation of the big Ramsey degrees of the generic partial order
العنوان: | Characterisation of the big Ramsey degrees of the generic partial order |
---|---|
المؤلفون: | Balko, Martin, Chodounský, David, Dobrinen, Natasha, Hubička, Jan, Konečný, Matěj, Vena, Lluis, Zucker, Andy |
سنة النشر: | 2023 |
المجموعة: | Computer Science Mathematics |
مصطلحات موضوعية: | Mathematics - Combinatorics, Computer Science - Discrete Mathematics, Mathematics - Logic, 05D10, 05C05, 05C65, 05C55, 06A07, G.2.2, F.4.1 |
الوصف: | As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order. This is an infinitary extension of the well known fact that finite partial orders endowed with linear extensions form a Ramsey class (this result was announced by Ne\v{s}et\v{r}il and R\"odl in 1984 with first published proof by Paoli, Trotter and Walker in 1985). Towards this, we refine earlier upper bounds obtained by Hubi\v{c}ka based on a new connection of big Ramsey degrees to the Carlson-Simpson theorem and we also introduce a new technique of giving lower bounds using an iterated application of the upper-bound theorem. Comment: 34 pages, 7 figures. Minor revision incorporating suggestions of the anonymous referee. Fixed typo in Definition 1.5 |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2303.10088 |
رقم الأكسشن: | edsarx.2303.10088 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |