Solovay's theorem cannot be simplified. - Andrew P. Arana (Ann. Pure Appl. Log., 2001)

Arithmetical independence results using higher recursion theory. - Andrew P. Arana (J. Symb. Log., 2004)

On the Relationship between plane and solid Geometry. - Andrew P. Arana; Paolo Mancosu (Rev. Symb. Log., 2012)