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