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