Christian Bennet

• On some orderings of extensions of arithmetic