A dual Ramsey theorem for finite ordered oriented graphs
-
Dragan Mašulović
und
Bojana Pantić
Abstract
In contrast to the abundance of “direct” Ramsey results for classes of finite structures (such as finite ordered graphs, finite ordered metric spaces and finite posets with a linear extension), in only a handful of cases we have a meaningful dual Ramsey result. In this paper we prove a dual Ramsey theorem for finite ordered oriented graphs. Instead of embeddings, which are crucial for “direct” Ramsey results, we consider a special class of surjective homomorphisms between finite ordered oriented graphs. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
The authors gratefully acknowledges the support of the Grant No. 174019 of the Ministry of Education, Science and Technological Development of the Republic of Serbia.
(Communicated by Peter Horák)
References
[1] Abramson, F. G.—Harrington, L. A.: Models without indiscernibles, J. Symbolic Logic 43 (1978), 572–600.10.2307/2273534Suche in Google Scholar
[2] Aranda, A.—Bradley-Williams, D.—Hubička, J.—Karamanlis, M.—Kompatscher, M.—Konečný, M.—Pawliuk, M.: Ramsey expansions of metrically homogeneous graphs, arXiv:1707.02612.Suche in Google Scholar
[3] Carlson, T. J.—Simpson, S. G.: A dual form of Ramsey’s theorem, Adv. Math. 53 (1984), 265–290.10.1016/0001-8708(84)90026-4Suche in Google Scholar
[4] Frankl, P.—Graham, R. L.—Rödl, V.: Induced restricted Ramsey theorems for spaces, J. Combin. Theory Ser. A 44 (1987), 120–128.10.1016/0097-3165(87)90064-1Suche in Google Scholar
[5] Graham, R. L.—Rothschild, B. L.: Ramsey’s theorem for n-parameter sets, Tran. Amer. Math. Soc. 159 (1971), 257–292.10.2307/1996010Suche in Google Scholar
[6] Leeb, K.: The Categories of Combinatorics. Combinatorial Structures and their Applications, Gordon and Breach, New York, 1970.Suche in Google Scholar
[7] Mašulović, D.: A dual Ramsey theorem for permutations, Electron. J. Combin. 24(3) (2017), #P3.3910.37236/6845Suche in Google Scholar
[8] Mašulović, D.: Dual Ramsey theorems for relational structures, Czechoslovak Math. J., to appear.Suche in Google Scholar
[9] Mašulović, D.—Scow, L.: Categorical equivalence and the Ramsey property for finite powers of a primal algebra, Algebra Universalis 78 (2017), 159–17910.1007/s00012-017-0453-0Suche in Google Scholar
[10] Nešetřil, J.: Ramsey theory. In: Handbook of Combinatorics (R. L. Graham, M. Grötschel and L. Lovász, eds.), Vol. 2, MIT Press, Cambridge, MA, USA, 1995, pp. 1331–1403.Suche in Google Scholar
[11] Nešetřil, J.—Rödl, V.: Partitions of finite relational and set systems, J. Combin. Theory Ser. A 22 (1977), 289–312.10.1016/0097-3165(77)90004-8Suche in Google Scholar
[12] Nešetřil, J.—Rödl, V.: Dual Ramsey type theorems. In: Proc. Eighth Winter School on Abstract Analysis (Z. Frolíik, ed.), Prague, 1980, pp. 121–123.Suche in Google Scholar
[13] Nešetřil, J.—Rödl, V.: Ramsey classes of set systems, J. Combin. Theory Ser. A 34 (1983), 183–201.10.1016/0097-3165(83)90055-9Suche in Google Scholar
[14] Nešetřil, J.—Rödl, V.: The partite construction and Ramsey set systems, Discrete Math. 75 (1989), 327–334.10.1016/0012-365X(89)90097-6Suche in Google Scholar
[15] Prömel, H. J.: Induced partition properties of combinatorial cubes, J. Combin. Theory Ser. A 39 (1985), 177–208.10.1016/0097-3165(85)90036-6Suche in Google Scholar
[16] Prömel H. J.—Voigt, B.: Hereditary atributes of surjections and parameter sets, European J. Combin. 7 (1986), 161–170.10.1016/S0195-6698(86)80042-7Suche in Google Scholar
[17] Ramsey, F. P.: On a problem of formal logic, Proc. London Math. Soc. 30 (1930), 264–286.10.1007/978-0-8176-4842-8_1Suche in Google Scholar
[18] Sokić, M.: Ramsey properties of finite posets II, Order 29 (2012), 31–47.10.1007/s11083-011-9196-2Suche in Google Scholar
[19] Solecki, S.: A Ramsey theorem for structures with both relations and functions, J. Combin. Theory Ser. A 117 (2010), 704–714.10.1016/j.jcta.2009.12.004Suche in Google Scholar
[20] Solecki, S.: Dual Ramsey theorem for trees, arXiv:1502.04442.Suche in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
Artikel in diesem Heft
- Regular papers
- On the finite embeddability property for quantum B-algebras
- A dual Ramsey theorem for finite ordered oriented graphs
- On EMV-Semirings
- A nonsymmetrical matrix and its factorizations
- On weakly 𝓗-permutable subgroups of finite groups
- The left Riemann-Liouville fractional Hermite-Hadamard type inequalities for convex functions
- A geometrical version of Hardy-Rellich type inequalities
- On a Choquet-Stieltjes type integral on intervals
- Uniqueness of meromorphic functions sharing four small functions on annuli
- A subclass of uniformly convex functions and a corresponding subclass of starlike function with fixed coefficient associated with q-analogue of Ruscheweyh operator
- Functions of bounded variation related to domains bounded by conic sections
- Unified solution of Fekete-Szegö problem for subclasses of starlike mappings in several complex variables
- Oscillatory criteria for the second order linear ordinary differential equations
- When deviation happens between rough statistical convergence and rough weighted statistical convergence
- The retraction of certain banach right modules associated to a character
- On sequence spaces generated by binomial difference operator of fractional order
- Some refinements of young type inequality for positive linear map
- On the Gromov-Hausdorff limit of metric spaces
- The beta exponentiated Nadarajah-Haghighi distribution: theory, regression model and application
- Hilbert algebras with supremum generated by finite chains
Artikel in diesem Heft
- Regular papers
- On the finite embeddability property for quantum B-algebras
- A dual Ramsey theorem for finite ordered oriented graphs
- On EMV-Semirings
- A nonsymmetrical matrix and its factorizations
- On weakly 𝓗-permutable subgroups of finite groups
- The left Riemann-Liouville fractional Hermite-Hadamard type inequalities for convex functions
- A geometrical version of Hardy-Rellich type inequalities
- On a Choquet-Stieltjes type integral on intervals
- Uniqueness of meromorphic functions sharing four small functions on annuli
- A subclass of uniformly convex functions and a corresponding subclass of starlike function with fixed coefficient associated with q-analogue of Ruscheweyh operator
- Functions of bounded variation related to domains bounded by conic sections
- Unified solution of Fekete-Szegö problem for subclasses of starlike mappings in several complex variables
- Oscillatory criteria for the second order linear ordinary differential equations
- When deviation happens between rough statistical convergence and rough weighted statistical convergence
- The retraction of certain banach right modules associated to a character
- On sequence spaces generated by binomial difference operator of fractional order
- Some refinements of young type inequality for positive linear map
- On the Gromov-Hausdorff limit of metric spaces
- The beta exponentiated Nadarajah-Haghighi distribution: theory, regression model and application
- Hilbert algebras with supremum generated by finite chains
