Download PDF - On a classification of denumerable order types and an application to the partition calculus