Gaisi Takeuti A Second Order Version of S<sup>i</sup><sub>2</sub> and U<sup>1</sup><sub>2</sub>. 1038-1063 1991 56 J. Symb. Log. 3 db/journals/jsyml/jsyml56.html#Takeuti91