omega<sub>1</sub>-Like Recursively Saturated Models of Presburger's Arithmetic.

Victor Harnik omega<sub>1</sub>-Like Recursively Saturated Models of Presburger's Arithmetic. 421-429 1986 51 J. Symb. Log. 2 db/journals/jsyml/jsyml51.html#Harnik86