Andrzej Mostowski A Transfinite Sequence of omega-Models. 96-102 1972 37 J. Symb. Log. 1 db/journals/jsyml/jsyml37.html#Mostowski72