Uniformly reflexive structures: On the nature of G\"odelizations and relative computability (1969)

by E G Wagner
Venue:Transactions of the American Mathematical Society