Terrence Millar Prime Models and Almost Decidability. 412-420 1986 51 J. Symb. Log. 2 db/journals/jsyml/jsyml51.html#Millar86