Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\)
scientific article; zbMATH DE number 7232924