Samuel G. Da Silva

According to our database, Samuel G. Da Silva authored at least 9 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

The generalized continuum hypothesis and two parametrized families of hit-and-miss games.

Samuel G. Da Silva

FLAP, 2022

2021

The Axiom of Choice and the Partition Principle from Dialectica Categories.

Samuel G. Da Silva

Log. J. IGPL, 2021

2019

Reductions between certain incidence problems and the Continuum Hypothesis.

Samuel G. Da Silva

Reports Math. Log., 2019

On uniformly continuous functions between pseudometric spaces and the Axiom of Countable Choice.

Samuel G. Da Silva

Arch. Math. Log., 2019

2017

Dialectical categories, cardinalities of the continuum and combinatorics of ideals.

Samuel G. Da Silva, Valeria de Paiva

Log. J. IGPL, 2017

Categorial forms of the Axiom of Choice.

Andreas B. M. Brunner, Hugo Luiz Mariano, Samuel G. Da Silva

Log. J. IGPL, 2017

2016

Topological equivalences of CUT and CUT(Fin).

Samuel G. Da Silva

Arch. Math. Log., 2016

2013

Natural Number Objects in Dialectica Categories.

Valeria de Paiva, Charles Morgan, Samuel G. Da Silva

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2007

Large Cardinals and Topology: a Short Retrospective and Some New Results.

Samuel G. Da Silva

Log. J. IGPL, 2007