19 citations · 20 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
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…