6 citations · 14 across the 11 of their papers we have counts for
Showing 2009 · math.HOShow all
3 papers · 2 filters
math.HO2009★ 3 cited
Is set theory indispensable?
Nik Weaver
Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theorists have known for decades that virtually all mai…
math.HO2009
The concept of a set
Nik Weaver
Metaphysical interpretations of set theory are either inconsistent or incoherent. The uses of sets in mathematics actually involve three distinct kinds of collections (surveyable,…
math.HO2009★ 6 cited
Axiomatizing mathematical conceptualism in third order arithmetic
Nik Weaver
We review the philosophical framework of mathematical conceptualism as an alternative to set-theoretic foundations and show how mainstream mathematics can be developed on this basi…