Terrence Millar Omitting Types, Type Spectrums, and Decidability. 171-181 1983 48 J. Symb. Log. 1 db/journals/jsyml/jsyml48.html#Millar83