TY  - RPRT
TI  - Analogues of Shepherdson's Theorem for a language with exponentiation
AU  - Konstantin Kovalyov
PY  - 2026
DO  - 10.1093/logcom/exag013
UR  - https://arxiv.org/abs/2306.02012
ID  - 2306.02012
ER  -