Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari. A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic. Notre Dame Journal of Formal Logic, 60(3):481-489, 2019. [doi]
@article{ArdeshirKS19, title = {A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic}, author = {Mohammad Ardeshir and Erfan Khaniki and Mohsen Shahriari}, year = {2019}, doi = {10.1215/00294527-2019-0013}, url = {https://doi.org/10.1215/00294527-2019-0013}, researchr = {https://researchr.org/publication/ArdeshirKS19}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {60}, number = {3}, pages = {481-489}, }