Subrecursive Complexity of Identifying the Ramsey Structure of Posets

  • Willem L. Fouché
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5028)


We show that finite ordinal sums of finite antichains are Ramsey objects in the category of finite posets and height-preserving embeddings. Our proof yields a primitive recursive algorithm for constructing the finite posets which contain the required homogeneities. We also find, in terms of the classical Ramsey numbers, best possible upper bounds for the heights of the posets in which the homogeneous structures can be found.


subrecursive hierarchy partially ordered sets (posets) structural Ramsey theory 

Mathematics Subject Classification (2000)

03D20 68Q17 06A07 05D10 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abramson, F.G., Harrington, L.O.: Models without indiscernables. J. Symb. Logic 43, 572–600 (1978)CrossRefMathSciNetzbMATHGoogle Scholar
  2. 2.
    Fouché, W.L.: Chain partitions of ordered sets. Order 13, 255–266 (1996)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Fouché, W.L.: Symmetry and the Ramsey degree of posets. Discrete Math. 167/168, 309–315 (1997)CrossRefGoogle Scholar
  4. 4.
    Fouché, W.L.: Symmetry and the Ramsey degree of finite relational structures. J. Comb. Theory Ser A 85, 135–147 (1999)CrossRefzbMATHGoogle Scholar
  5. 5.
    Fouché, W.L., Pretorius, L.M., Swanepoel, C.J.: The Ramsey degrees of bipartite graphs: A primitive recursive proof. Discrete Math. 293, 111–119 (2005)CrossRefMathSciNetzbMATHGoogle Scholar
  6. 6.
    Graham, R.L., Rothschild, B.L.: Ramsey’s theorem for n-parameter sets. Trans. Amer. Math. Soc. 159, 257–292 (1971)CrossRefMathSciNetzbMATHGoogle Scholar
  7. 7.
    Graham, R.L., Rothschild, B.L., Spencer, J.L.: Ramsey Theory. Wiley, New York (1990)zbMATHGoogle Scholar
  8. 8.
    Hales, A.W., Jewett, R.I.: Regularity and positional games. Trans. Amer. Math. Soc. 106, 222–229 (1963)CrossRefMathSciNetzbMATHGoogle Scholar
  9. 9.
    Kechris, A.S., Pestov, V., Todorcevic, S.: Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups. GAFA 15, 106–189 (2005)CrossRefMathSciNetzbMATHGoogle Scholar
  10. 10.
    Nešetřil, J.: Ramsey theory. In: Graham, R.L., Grötschel, M., Lovász, L. (eds.) Handbook of Combinatorics, vol. 2, pp. 1331–1403. North Holland, Amsterdam (1995)Google Scholar
  11. 11.
    Nešetřil, J., Rödl, V.: Partitions of relational and set systems. J. Comb. Theory Ser A 83, 289–312 (1977)CrossRefGoogle Scholar
  12. 12.
    Nešetřil, J., Rödl, V.: Ramsey classes of set systems. J. Comb. Theory Ser A 34, 183–201 (1983)CrossRefGoogle Scholar
  13. 13.
    Nešetřil, J., Rödl, V.: Combinatorial partitions of finite posets and lattices– Ramsey lattices. Algebra Universalis 19, 106–119 (1984)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Nešetřil, J., Rödl, V.: The partite construction and Ramsey set systems. Discrete Math. 75, 327–334 (1989)CrossRefMathSciNetzbMATHGoogle Scholar
  15. 15.
    Paoli, M., Trotter, W.T., Walker, J.W.: Graphs and orders in Ramsey theory and in dimension theory. In: Rival, I. (ed.) Graphs and Order, Reidel (1984)Google Scholar
  16. 16.
    Prömel, H.J., Voigt, B.: Graham-Rothschild parameter sets. In: Nešetřil, J., Rödl, V. (eds.) Mathematics of Ramsey Theory, pp. 113–149. Springer, Berlin (1990)Google Scholar
  17. 17.
    Ramsey, F.P.: On a problem of formal logic. Proc. London Math. Soc. 30, 264–286 (1930)CrossRefGoogle Scholar
  18. 18.
    Shelah, S.: Primitive recursive bounds for van der Waerden numbers. J. Amer. Math. Soc. 1, 683–697 (1988)CrossRefMathSciNetzbMATHGoogle Scholar
  19. 19.
    Sommerhalder, R., van Westhenen, S.C.: The Theory of Computability. Addison Wesley, Reading (1988)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Willem L. Fouché
    • 1
  1. 1.Department of Decision SciencesUniversity of South AfricaPretoriaSouth Africa

Personalised recommendations