-
23On e^-definability in arithmeticIn A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science, Kluwer Academic Publishers. pp. 47--47. 2003.
-
24Reseña "Filosofía ¿para qué? Desafíos de la filosofía en el S. XXI" de Gabriel Vargas LozanoUtopía y Praxis Latinoamericana 18 (60): 133-135. 2013.
-
35Reseña "Tareas y Propuestas de la Filosofía Intercultural" de Raúl Fornet BetancourtUtopía y Praxis Latinoamericana 18 (60): 135-136. 2013.
-
13Reseña "Retórica, democracia y crisis. Un estudio de teoría política" de Víctor Alonso RocafortUtopía y Praxis Latinoamericana 17 (58): 99-100. 2012.
-
12Reseña "La alternativa neopopulista" de Roberto FollariUtopía y Praxis Latinoamericana 17 (58): 100-101. 2012.
-
49Reseña "El aprendizaje del aprendizaje" de Juan Ramón CapellaUtopía y Praxis Latinoamericana 17 (58): 96-97. 2012.
-
15Reseña "América. Recomienzo de la historia. La lectura auroral de la historia en la novela hispanoamericana" de Graciela MaturoUtopía y Praxis Latinoamericana 17 (58): 95-96. 2012.
-
15Alejandro Moreno: Las epistemes del mundo-de-la-vidaUtopía y Praxis Latinoamericana 14 (46): 5-6. 2009.
-
36Alberto Wagner de Reyna. In Memoriam (1915-2006)Utopía y Praxis Latinoamericana 11 (34): 0. 2006.
-
26Maximum Schemes in ArithmeticMathematical 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
-
17On axiom schemes for T-provably $${\Delta_{1}}$$ Δ 1 formulasArchive 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.
-
10On the Optimality of Conservation Results for Local Reflection in ArithmeticJournal of Symbolic Logic 78 (4): 1025-1035. 2013.
-
36A note on parameter free Π1 -induction and restricted exponentiationMathematical Logic Quarterly 57 (5): 444-455. 2011.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
-
1Los agustinos de La Habana colonial ante el liberalismo españolRevista Agustiniana 49 (150): 885-913. 2008.
-
23Induction, minimization and collection for Δ n+1 (T)–formulasArchive 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
-
21On the quantifier complexity of Δ n+1 (T)– inductionArchive 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
University Park, Florida, United States of America