19 citations · 20 across the 3 of their papers we have counts for
3 papers
math.HO2016
The Prehistory of the Subsystems of Second-Order Arithmetic
Walter Dean, Sean Walsh
This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Fri…
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★ 1 cited
Fragments of Frege's Grundgesetze and Gödel's Constructible Universe
Sean Walsh
Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems…