$L_{{ω_1}ω}$ equivalence between countable and uncountable linear orderings
Volume 107 / 1980
Fundamenta Mathematicae 107 (1980), 99-112
DOI: 10.4064/fm-107-2-99-112