Analogues of Shepherdson's Theorem for a language with exponentiation. - Kovalyov, Konstantin (Journal of Logic & Computation, 2026)