A Note on Priest’s Finite Inconsistent Arithmetics

Paris, J. B. and Pathmanathan, N. (2008) A Note on Priest’s Finite Inconsistent Arithmetics. [MIMS Preprint]

[img] PDF

Download (96kB)


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: http://eprints.maths.manchester.ac.uk/id/eprint/1185

Actions (login required)

View Item View Item