Andrea Cantini A Theory of Formal Truth Arithmetically Equivalent to ID<sub>1</sub>. 244-259 1990 55 J. Symb. Log. 1 db/journals/jsyml/jsyml55.html#Cantini90 http://projecteuclid.org/euclid.jsl/1183743196