Ferguson, T. M. “Inconsistent Models (and Infinite Models) for Arithmetics With Constructible Falsity”. Logic and Logical Philosophy, vol. 28, no. 3, Aug. 2018, pp. 389-07, doi:10.12775/LLP.2018.011.