AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC

Abstract

AbstractThe collapse models of arithmetic are inconsistent, nontrivial models obtained from ℕ and set out in the Logic of Paradox (LP). They are given a general treatment by Priest (Priest, 2000). Finite collapse models are decidable, and thus axiomatizable, because finite. LP, however, is ill-suited to normal axiomatic reasoning, as it invalidates Modus Ponens, and almost all other usual conditional inferences. I set out a logic, A3, first given by Avron (Avron, 1991), and give a first order axiom system for the finite collapse models. I present some standard arithmetical axioms in addition to a cyclic axiom and prove that these axioms are sound and complete for the cyclic models, reporting a similar result for the heap models. The state of the situation for the each of the kinds of infinite collapse model is, however, left an open question.