This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A387346 #23 Sep 04 2025 17:47:46 %S A387346 1,5,161,134397,7980983689,45921869097999781, %T A387346 35268888847472944795910097,4885777205485902177648027702583670093, %U A387346 159271391109084147116751767705171032995283089412057,1546604163029698823334234758731306633891622324147639816544352644405 %N A387346 Big Ramsey degree (with respect to substructures) of an independent set of size n in a universal triangle-free graph. %C A387346 Let G be any countable universal triangle-free graph. By universality we mean that every countable triangle-free graph is isomorphic to an induced subgraph of G. For every integer n and every finite coloring of the n-element independent sets of G, there exists an induced subgraph H isomorphic to G such that the number of colors used on the n-element independent sets within H is at most a(n). Conversely, there exists a coloring of the n-element independent sets of G with a(n) colors such that every induced subgraph isomorphic to G uses all a(n) colors. %C A387346 The term big Ramsey degree was introduced by Kechris, Pestov, and Todorcevic (2005). The first element of the sequence was determined by Komjáth and Rödl (1986). The existence of the infinite sequence was proved by Dobrinen (2020) with shorter proofs given by Zucker (2022) and Hubička (2025). The exact sequence was characterized by Balko, Chodounský, Dobrinen, Hubička, Konečný, Vena, and Zucker (2024), with an easier presentation provided by the same authors in arXiv:2303.10088. The first 10 elements of the sequence were computed by Konečný, Hubička, Vodseďálek, and Zucker (2025). %D A387346 M. Balko, D. Chodounský, N. Dobrinen, J. Hubička, M. Konečný, L. Vena, A. Zucker, Exact big Ramsey degrees for finitely constrained binary free amalgamation classes, Journal of the European Mathematical Society, 2024, published online first. %D A387346 N. Dobrinen, The Ramsey theory of the universal homogeneous triangle-free graph, Journal of Mathematical Logic, 20 (2020), 2050012. %D A387346 J. Hubička, Big Ramsey degrees using parameter spaces, Advances in Mathematics 478 (2025), 110386. %D A387346 J. Hubička, M. Konečný, Š. Vodseďálek, A. Zucker, Counting big Ramsey degrees of the homogeneous and universal K_4-free graph, arXiv:2505.22620, extended abstract accepted to Eurocomb 2025. %D A387346 A. S. Kechris, V. G. Pestov, S. Todorcevic, Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups, Geometric and Functional Analysis 15(1) (2005), 106-189. %D A387346 P. Komjáth and V. Rödl, Coloring of universal graphs, Graphs and Combinatorics 2(1) (1986) 55-60. %D A387346 N. Sauer, Edge partitions of the countable triangle free homogenous graph, Discrete Math. 185(1-3) (1998) 137-181. %D A387346 Š. Vodseďálek, Counting big Ramsey degrees, Bachelor's thesis, Charles University (2025). %D A387346 A. Zucker, On big Ramsey degrees for binary free amalgamation classes, Advances in Mathematics 408 (2022), 108585 %H A387346 M. Balko, D. Chodounský, N. Dobrinen, J. Hubička, M. Konečný, L. Vena, and A. Zucker, <a href="https://arxiv.org/abs/2303.10088">Characterisation of the big Ramsey degrees of the generic partial order</a>, arXiv:2303.10088 [math.CO], 2025. %H A387346 J. Hubička and A. Zucker, <a href="https://arxiv.org/abs/2407.17958">A survey on big Ramsey structures</a>, arXiv:2407.17958 [math.LO], 2025. %Y A387346 The corresponding sequence for countable universal graphs (e.g. the Rado/random graph) is A000182. %K A387346 nonn,hard,new %O A387346 1,2 %A A387346 _Jan Hubicka_ and _Stepan Vodsedalek_, Aug 27 2025