390 citations
- Institute for Research in Fundamental SciencesIR72 papers
- Azarbaijan Shahid Madani UniversityIR29 papers
- Research Institute for Astronomy and Astrophysics of MaraghIR26 papers
- Centre National de la Recherche ScientifiqueFR16 papers
- Islamic Azad University, TehranIR16 papers
- Institute for Cognitive Science StudiesIR15 papers
- Islamic Azad University of TabrizIR12 papers
- University of ZanjanIR12 papers
- Institut d'Astrophysique de ParisFR10 papers
- Payame Noor UniversityIR10 papers
- Sharif University of TechnologyIR10 papers
- Shahid Beheshti UniversityIR7 papers
Showing 2010 · math.LOShow all
2 papers · 2 filters
math.LO2010★ 2 cited
Separating Bounded Arithmetics by Herbrand Consistency
Saeed Salehi
The problem of separating the hierarchy of bounded arithmetic has been studied in the paper. It is shown that the notion of Herbrand Consistency, in its full generality, cann…
math.LO2010★ 5 cited
Herbrand Consistency of Some Arithmetical Theories
Saeed Salehi
Gödel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the wit…