Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski - Bingham, NH; Ostaszewski, AJ (MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2011)