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