Models of $VT{C}^0$ as exponential integer parts

Emil Jeřábek

We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical theory $\mathsf{VT}{\mathsf{C}}^0$ are recursively saturated in a rich language with predicate…