Large Cardinals and Topology: a Short Retrospective and Some New Results. - Samuel G. Da Silva (Log. J. IGPL, 2007)

Natural Number Objects in Dialectica Categories. - Valeria de Paiva; Charles Morgan; Samuel G. Da Silva (LSFA, 2013)

Topological equivalences of CUT and CUT(Fin). - Samuel G. Da Silva (Arch. Math. Log., 2016)

Categorial forms of the Axiom of Choice. - Andreas B. M. Brunner; Hugo Luiz Mariano; Samuel G. Da Silva (Log. J. IGPL, 2017)

Dialectical categories, cardinalities of the continuum and combinatorics of ideals. - Samuel G. Da Silva; Valeria de Paiva (Log. J. IGPL, 2017)

On uniformly continuous functions between pseudometric spaces and the Axiom of Countable Choice. - Samuel G. Da Silva (Arch. Math. Log., 2019)

Reductions between certain incidence problems and the Continuum Hypothesis. - Samuel G. Da Silva (Reports Math. Log., 2019)

The Axiom of Choice and the Partition Principle from Dialectica Categories. - Samuel G. Da Silva (Log. J. IGPL, 2021)

The generalized continuum hypothesis and two parametrized families of hit-and-miss games. - Samuel G. Da Silva (FLAP, 2022)