Arithmetic with fusions

DOI10.2143/LEA.234.0.3159741MaRDI QIDQ5283786zbMATH OpenFDO

Authors Jeffrey Ketland, Thomas Schindler

Publication date 25 July 2017

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(2)

• Bases for structures and theories. I.
• scientific article; zbMATH DE number 7577570 (Why is no real title available?)

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)