56 citations · 129 across the 40 of their papers we have counts for
Showing 2005Show all
3 papers · 1 filter
math.LO2005★ 3 cited
Mathematical conceptualism
Nik Weaver
This is an explanation and defense of "mathematical conceptualism" for a general mathematical and philosophical audience. I make a case that it is cogent, rigorous, attractive, and…
math.LO2005
Analysis in J_2
Nik Weaver
This is an expository paper in which I explain how core mathematics, particularly abstract analysis, can be developed within a concrete countable set J_2 (the second set in Jensen'…
math.LO2005★ 3 cited
Predicativity beyond Gamma_0
Nik Weaver
We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schutte ordinal Gamma_0. First we comprehensively criticize the arguments…