Ferguson, T. M. (2018). Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity. Logic and Logical Philosophy, 28(3), 389–407. https://doi.org/10.12775/LLP.2018.011