32 citations · 77 across the 6 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.LO2014★ 32 cited
Relative Categoricity and Abstraction Principles
Sean Walsh, Sean Ebels-Duggan
Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmeti…
math.LO2014★ 19 cited
Comparing Hume's Principle, Basic Law V and Peano Arithmetic
Sean Walsh
This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn f…
math.LO2014
The Strength of Abstraction with Predicative Comprehension
Sean Walsh
Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction…