TY  - RPRT
TI  - Not all Kripke models of $\sf HA$ are locally $\sf PA$
AU  - Erfan Khaniki
PY  - 2020
UR  - https://arxiv.org/abs/2006.11910
ID  - 2006.11910
ER  -