End Extensions of Models of Linearly Bounded Arithmetic (1997)

by Domenico Zambella
Venue:Annals of Pure and Applied Logic