Paris, J. B. and Pathmanathan, N. (2008) A Note on Priest’s Finite Inconsistent Arithmetics. [MIMS Preprint]
PDF
Paris_paper_5.pdf Download (96kB) |
Abstract
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 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations |
Depositing User: | Ms Lucy van Russelt |
Date Deposited: | 06 Nov 2008 |
Last Modified: | 08 Nov 2017 18:18 |
URI: | https://eprints.maths.manchester.ac.uk/id/eprint/1185 |
Actions (login required)
View Item |