•  61
    On Bourbaki’s axiomatic system for set theory
    with Maribel Anacona and F. Javier Pérez-Fernández
    Synthese 191 (17): 4069-4098. 2014.
    In this paper we study the axiomatic system proposed by Bourbaki for the Theory of Sets in the Éléments de Mathématique. We begin by examining the role played by the sign \(\uptau \) in the framework of its formal logical theory and then we show that the system of axioms for set theory is equivalent to Zermelo–Fraenkel system with the axiom of choice but without the axiom of foundation. Moreover, we study Grothendieck’s proposal of adding to Bourbaki’s system the axiom of universes for the purpo…Read more
  • La Ilustración En La América Colonial
    with Diana Soto Arango and Miguel Puig Samper
    Revista Agustiniana 39 1231-1232. 1998.