TY - RPRT TI - Models of $VTC^0$ as exponential integer parts AU - Emil Jeřábek PY - 2023 DO - 10.1002/malq.202300001 UR - https://arxiv.org/abs/2209.01197 ID - 2209.01197 ER -