this issue
previous article in this issuenext article in this issue

Document Details :

Title: Arithmetic with Fusions
Author(s): KETLAND, Jeffrey , SCHINDLER, Thomas
Journal: Logique et Analyse
Volume: 234    Date: 2016   
Pages: 207-226
DOI: 10.2143/LEA.234.0.3159741

Abstract :
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.

Download article