• Maximum Schemes in Arithmetic
    Mathematical Logic Quarterly 40 (3): 425-430. 2006.
    In this paper we deal with some new axiom schemes for Peano's Arithmetic that can substitute the classical induction, least‐element, collection and strong collection schemes in the description of PA. Mathematics Subject Classification: 03F30, 03H15.
  • Introducción a las finanzas
    Civitas. forthcoming.
  • Posmodernidad y Racionalidad Ética del Discurso
    Utopía y Praxis Latinoamericana 1 (1). 1996.
  •  67
    Reseña "Tareas y Propuestas de la Filosofía Intercultural" de Raúl Fornet Betancourt
    Utopía y Praxis Latinoamericana 18 (60): 135-136. 2013.
  •  47
    Alejandro Moreno: Las epistemes del mundo-de-la-vida
    Utopía y Praxis Latinoamericana 14 (46): 5-6. 2009.
  •  98
    KAMENKA, EUGENE: De Philosophy of Ludwig Feuerbach
    Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 6 (6): 126-127. 1971.
    La idea de que la realidad, en múltiples de sus estratos, es un puro campo sobre el que recaen diversas interpretaciones plantea de inmediato la pregunta acerca de cuántas estrategias interpretativas generales son posibles respecto de la realidad y si estas estrategias, a las que denomino "políticas de la borrosidad", se aplican de una forma selectiva según los ámbitos de objetos de los que estemos hablando
  •  402
    Disrupting Liberal Democracy:The Phenomenal Rise of Duterte
    Mabini Review 10 (2021): 1-19. 2022.
    The paper offers an explanation why Duterte won the election in 2016 and how his phenomenal rise can be accounted. Some scholars on Philippine politics attribute the rise of Duterte to the failure of liberal democracy. On the other hand, this paper argues that “failure of liberal democracy” explanation merely scratches the surface of the question and does not address the source of the failure. Gramsci’s notion of passive revolution this paper maintains point to the root of the failures of the li…Read more
  • Análisis no estándar y lógica
    Agora 12 (2): 163. 1993.
  •  67
    On axiom schemes for T-provably $${\Delta_{1}}$$ Δ 1 formulas
    Archive for Mathematical Logic 53 (3): 327-349. 2014.
    This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are $${\Delta_1}$$ provably in an arithmetic theory T. In particular, we determine the provably total computable functions of this kind of theories. As an application, we obtain a reduction of the problem whether $${I\Delta_0 + \neg \mathit{exp}}$$ implies $${B\Sigma_1}$$ to a purely recursion-theoretic question.
  •  49
    Reseña "La alternativa neopopulista" de Roberto Follari
    Utopía y Praxis Latinoamericana 17 (58): 100-101. 2012.
  •  88
    Reseña "El aprendizaje del aprendizaje" de Juan Ramón Capella
    Utopía y Praxis Latinoamericana 17 (58): 96-97. 2012.
  •  36
  •  93
    We characterize the sets of all Π2 and all equation image theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to equation image sentences cannot be extended to Πn + 2 sentences. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, We…Read more
  •  53
    Maximum Schemes in Arithmetic
    Mathematical Logic Quarterly 40 (3): 425-430. 1994.
    In this paper we deal with some new axiom schemes for Peano's Arithmetic that can substitute the classical induction, least-element, collection and strong collection schemes in the description of PA
  •  73
    On the quantifier complexity of Δ n+1 (T)– induction
    Archive for Mathematical Logic 43 (3): 371-398. 2004.
    In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction rule for Δ n+1 –formulas. Our arguments, invo…Read more
  •  71
    Induction, minimization and collection for Δ n+1 (T)–formulas
    Archive for Mathematical Logic 43 (4): 505-541. 2004.
    For a theory T, we study relationships among IΔ n +1 (T), LΔ n+1 (T) and B * Δ n+1 (T). These theories are obtained restricting the schemes of induction, minimization and (a version of) collection to Δ n+1 (T) formulas. We obtain conditions on T (T is an extension of B * Δ n+1 (T) or Δ n+1 (T) is closed (in T) under bounded quantification) under which IΔ n+1 (T) and LΔ n+1 (T) are equivalent. These conditions depend on Th Πn +2 (T), the Π n+2 –consequences of T. The first condition is connected …Read more
  •  77
    Alberto Wagner de Reyna. In Memoriam (1915-2006)
    Utopía y Praxis Latinoamericana 11 (34): 0. 2006.
  • Herve pasqua, maître Eckhart. Le procès de l'un (review)
    Acta Philosophica 16 (2). 2007.
  •  216
    The paper attempts to explore the possibility of using Durkheim to understand the Gramscian notion of hegemony building on the claim that Gramsci’s idea is fragmentary and contentious. Durkheim’s concepts such as social solidarity, integration, rites and collective conscience the paper argues maybe deployed to comprehend Gramsci’s notion of hegemony particularly consent generation. The paper also contends that Durkheim’s ideas on the state and secondary groups voluntary organizations (civil soci…Read more