Jon Barwise Robert I. Soare Terrence Millar Meeting of the Association for Symbolic Logic: Milwaukee, 1981. 514-518 1983 48 J. Symb. Log. 2 db/journals/jsyml/jsyml48.html#BarwiseSM83