Comparing Peano arithmetic, Basic Law V, and Hume's Principle. - Sean Walsh 001 (Ann. Pure Appl. Log., 2012)

Empiricism, probability, and knowledge of arithmetic: A preliminary defense. - Sean Walsh 001 (J. Appl. Log., 2014)

Logicism, interpretability, and Knowledge of Arithmetic. - Sean Walsh 001 (Rev. Symb. Log., 2014)

Introduction. - Salvatore Florio; Øystein Linnebo; Sean Walsh 001; Philip D. Welch (Notre Dame J. Formal Log., 2015)

Relative Categoricity and Abstraction Principles. - Sean Walsh 001; Sean Ebels-Duggan (Rev. Symb. Log., 2015)

Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic. - Sean Walsh 001 (J. Philos. Log., 2016)

Fragments of Frege's Grundgesetze and Gödel's Constructible Universe. - Sean Walsh 001 (J. Symb. Log., 2016)

Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction. - Benjamin G. Rin; Sean Walsh 001 (Rev. Symb. Log., 2016)

The Strength of Abstraction with Predicative Comprehension. - Sean Walsh 001 (FLAP, 2017)

The Prehistory of the Subsystems of second-order Arithmetic. - Walter Dean; Sean Walsh 001 (Rev. Symb. Log., 2017)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic. - Sean Walsh 001 (CoRR, 2024)

Algorithmic randomness and the weak merging of computable probability measures. - Simon M. Huttegger; Sean Walsh 001; Francesca Zaffora Blando (CoRR, 2025)