Loïc Colson Serge Grigorieff Syntactical Truth Predicates For Second Order Arithmetic. 225-256 2001 66 J. Symb. Log. 1 db/journals/jsyml/jsyml66.html#ColsonG01