Dawes

1945

• First-order hierarchies in general models and in models of peano arithmetic