Tanner Philosophy Library, 09 Mar 2017 In this paper we study several translations that map models and formulae of the language of second-order arithmetic to models…