@misc{indiciae189010c963ae,
  title = {Not all Kripke models of \$\textbackslash{}sf HA\$ are locally \$\textbackslash{}sf PA\$},
  author = {Erfan Khaniki},
  year = {2020},
  url = {https://arxiv.org/abs/2006.11910},
  note = {Source identifier: 2006.11910}
}