1. Some consequences of the axiom of constructibility;Addison;Fund. Math.,1959
2. Second order arithmetic and related topics;Apt;Ann. Math. Logic,1974
3. Ideal membership in polynomial rings over the integers;Aschenbrenner;J. Amer. Math. Soc.,2004
4. Computability and Analysis: The Legacy of Alan Turing, Turing's Legacy;Avigad,2012
5. Some definability results in abstract Kummer theory;Bays;Int. Math. Res. Not. IMRN,2013