L. A S. Kirby

• Initial segments of models of arithmetic