35 citations · 124 across the 25 of their papers we have counts for
1 paper · 1 filter
Murdoch J. Gabbay
We provide an elementary consistency proof of Quine's New Foundations, by a construction using interated nominal powersets.