Text this: Analogues of Shepherdson's Theorem for a language with exponentiation.