Ferguson, Thomas Macaulay Inconsistent models (and infinite models) for arithmetics with constructible falsity. (English) Zbl 1458.03023 Log. Log. Philos. 28, No. 3, 389-407 (2019). MSC: 03B53 03F30 PDFBibTeX XMLCite \textit{T. M. Ferguson}, Log. Log. Philos. 28, No. 3, 389--407 (2019; Zbl 1458.03023) Full Text: DOI
Ferguson, Thomas Macaulay Extensions of Priest-da Costa logic. (English) Zbl 1329.03063 Stud. Log. 102, No. 1, 145-174 (2014). MSC: 03B53 03B20 03B55 PDFBibTeX XMLCite \textit{T. M. Ferguson}, Stud. Log. 102, No. 1, 145--174 (2014; Zbl 1329.03063) Full Text: DOI