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