We discuss the various proofs of Ramsey theorems involving colorings of countable sets with additional structure. To illustrate a typical argument which proves an infinite Ramsey statement from a finite one, we sketch Baumgartner's proof of Hindman's theorem and report on some ongoing related projects.