Arithmetic with fusions

DOI10.2143/LEA.234.0.3159741zbMATH Open1478.03080MaRDI QIDQ5283786FDOQ5283786

Authors: Jeffrey Ketland, Thomas Schindler 

Publication date: 25 July 2017

Recommendations

• Mereological fusion as an upper bound
• What is classical mereology?
• Frege's unofficial arithmetic
• The strength of abstraction with predicative comprehension
• Fusion first

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Cited In (2)

• Title not available (Why is that?)
• Bases for structures and theories. I.

This page was built for publication: Arithmetic with fusions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283786)