Ferguson, T. M. Inconsistent Models (and Infinite Models) for Arithmetics With Constructible Falsity. LLP 2018, 28, 389-407.