|previous article in this issue||next article in this issue|
Document Details :
Title: Arithmetic with Fusions
Author(s): KETLAND, Jeffrey , SCHINDLER, Thomas
Journal: Logique et Analyse
Volume: 234 Date: 2016
In this article, the relationship between second-order comprehension and unrestricted mereological fusion (over atoms) is clarified. An extension PAF of Peano arithmetic with a new binary mereological notion of 'fusion', and a scheme of unrestricted fusion, is introduced. It is shown that PAF interprets full second-order arithmetic, Z2.