L ω 1 ω equivalence between countable and uncountable linear orderings Charles Landraitis — 1980 Fundamenta Mathematicae