 Volker Halbach and Albert Visser (2014a, 2014b) has made a very detailed study of self-reference in arithmetic, studying what it means for a sentence of arithmetic to ascribe itself a property, and how this depends on the chosen encoding, the details of fixed-point construction etc. 