On some orderings of extensions of arithmetic (1986)

by C Bennet