2008.108: A Note on Priest’s Finite Inconsistent Arithmetics
2008.108: J. B. Paris and N. Pathmanathan (2008) A Note on Priest’s Finite Inconsistent Arithmetics.
Full text available as:
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
We give a complete characterization of Priest’s Finite Inconsistent Arithmetics observing that his original putative characterization included arithmetics which cannot in fact be realized.
|Item Type:||MIMS Preprint|
|Subjects:||MSC 2000 > 03 Mathematical logic and foundations|
|Deposited By:||Ms Lucy van Russelt|
|Deposited On:||06 November 2008|