Kotlarski Henryk

On elementary cuts in models of arithmetic