Robert S. Lubarsky µ-Definable Sets of Integers. 291-313 1993 58 J. Symb. Log. 1 db/journals/jsyml/jsyml58.html#Lubarsky93 http://projecteuclid.org/euclid.jsl/1183744190