@MISC{RAMSEY_1.MIZ,
  AUTHOR = {Riccardi, Marco},
  TITLE = {Ramsey's Theorem},
  SECTION1 = {Preliminaries},
  SECTION2 = {Infinite Ramsey Theorem},
  SECTION3 = {Ramsey's Theorem},
  DAY = {18},
  MONTH = {April},
  YEAR = {2008},
  ADDRESS1 = {Casella Postale 49\\54038 Montignoso\\Italy},
  SUMMARY = {The goal of this article is to formalize
  two versions of Ramsey's theorem. The theorems are not
  phrased in the usually pictorial representation of a coloured graph,
  but it is used a set-theoretic terminology. After some useful lemma, 
  the second section presents a generalization of Ramsey's theorem
  on infinite set closely following the book \cite{ThomasJech2002}.
  The last section includes the formalization of the theorem in a
  more known version (see \cite{PFTB}).}
}

@BOOK{ThomasJech2002,
       AUTHOR = {Jech, T. J.},
        TITLE = {Set Theory},
    PUBLISHER = {Springer-Verlag},
         YEAR = {2002},
      ADDRESS = {Berlin Heidelberg New York}}

@BOOK{PFTB,
       AUTHOR = {Aigner, M. and Ziegler, G. M.},
        TITLE = {Proofs from THE BOOK},
    PUBLISHER = {Springer-Verlag},
         YEAR = {2004},
      ADDRESS = {Berlin Heidelberg New York}}
