Characterisation of types of order satisfying $α_0+α_1 = α_1+α_0$
Tom 39 / 1952
Fundamenta Mathematicae 39 (1952), 65-96
DOI: 10.4064/fm-39-1-65-96