Philosophy and model theory T Button, S Walsh Oxford University Press, 2018 | 182 | 2018 |
Structure and categoricity: Determinacy of reference and truth value in the philosophy of mathematics T Button, S Walsh Philosophia Mathematica 24 (3), 283-307, 2016 | 37 | 2016 |
Comparing Peano arithmetic, basic law V, and Hume’s principle S Walsh | 31* | 2012 |
Predicativity, the Russell-Myhill Paradox, and hurch’s Intensional Logic S Walsh Journal of Philosophical Logic 45 (3), 277-326, 2016 | 24 | 2016 |
The prehistory of the subsystems of second-order arithmetic W Dean, S Walsh The Review of Symbolic Logic 10 (2), 357-396, 2017 | 22 | 2017 |
FRAGMENTS OF FREGE’S GRUNDGESETZE AND GÖDEL’S CONSTRUCTIBLE UNIVERSE S Walsh The Journal of Symbolic Logic 81 (2), 605-628, 2016 | 22 | 2016 |
Logicism, interpretability, and knowledge of arithmetic S Walsh The Review of Symbolic Logic 7 (1), 84-119, 2014 | 21 | 2014 |
Relative categoricity and abstraction principles S Walsh, S Ebels-Duggan The Review of Symbolic Logic 8 (3), 572-606, 2015 | 15 | 2015 |
Realizability semantics for quantified modal logic: Generalizing Flagg’s 1985 construction BG Rin, S Walsh The Review of Symbolic Logic 9 (4), 752-809, 2016 | 10 | 2016 |
Definability aspects of the Denjoy integral S Walsh arXiv preprint arXiv:1609.03198, 2016 | 5 | 2016 |
The Strength of Abstraction with Predicative Comprehension S Walsh Bulletin of Symbolic Logic 22 (1), 105-120, 2016 | 3 | 2016 |
Empiricism, probability, and knowledge of arithmetic: A preliminary defense S Walsh Journal of Applied Logic 12 (3), 319-348, 2014 | 3 | 2014 |