Edit Profile (opens in new tab) Salehi, Saeed Compute Distance To: Compute Author ID: salehi.saeed Published as: Salehi, Saeed Homepage: https://saeedsalehi.ir/ External Links: MGP · ORCID · Wikidata · arXiv · MathOverflow · Math-Net.Ru · dblp Documents Indexed: 27 Publications since 2002 Reviewing Activity: 77 Reviews Co-Authors: 9 Co-Authors with 10 Joint Publications 49 Co-Co-Authors all top 5 Co-Authors 16 single-authored 2 Seraji, Payam 2 Steinby, Magnus 1 Ardeshir, Mohammad 1 Assadi, Ziba 1 Karimi, Ahmad 1 Lajevardi, Kaave 1 Petković, Tatjana 1 Ruitenburg, Wim B. G. 1 Safari, Parvin 1 Zarza, Mohammadsaleh all top 5 Serials 2 Reports on Mathematical Logic 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Bulletin of the Iranian Mathematical Society 2 Journal of Logic and Computation 2 The Bulletin of Symbolic Logic 2 Soft Computing 1 Acta Cybernetica 1 Algebra Universalis 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Archive for Mathematical Logic 1 PU.M.A. Pure Mathematics and Applications 1 Mathematical Logic Quarterly (MLQ) 1 Logic Journal of the IGPL 1 Philosophia Mathematica. Series III 1 Fundamenta Informaticae 1 Philosophia Scientiae all top 5 Fields 21 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 5 General algebraic systems (08-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Field theory and polynomials (12-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 43 times in 30 Documents Cited by ▼ Year ▼ Provably total functions of basic arithmetic. Zbl 1026.03045Salehi, Saeed 8 2003 Positive varieties of tree languages. Zbl 1080.68068Petković, Tatjana; Salehi, Saeed 6 2005 Tree algebras and varieties of tree languages. Zbl 1118.68089Salehi, Saeed; Steinby, Magnus 6 2007 Varieties of tree languages definable by syntactic monoids. Zbl 1084.68078Salehi, Saeed 4 2005 Gödel-Rosser’s incompleteness theorem, generalized and optimized for definable theories. Zbl 1444.03166Salehi, Saeed; Seraji, Payam 3 2017 On constructivity and the Rosser property: a closer look at some Gödelean proofs. Zbl 1434.03135Salehi, Saeed; Seraji, Payam 3 2018 Intuitionistic axiomatizations for bounded extension Kripke models. Zbl 1040.03044Ardeshir, Mohammad; Ruitenburg, Wim; Salehi, Saeed 2 2003 Separating bounded arithmetical theories by Herbrand consistency. Zbl 1252.03136Salehi, Saeed 2 2012 Gödel’s incompleteness phenomenon – computationally. Zbl 1325.03074Salehi, Saeed 2 2014 Varieties of many-sorted recognizable sets. Zbl 1224.68056Salehi, Saeed; Steinby, Magnus 2 2007 Diagonal arguments and fixed points. Zbl 1405.18001Karimi, Ahmad; Salehi, Saeed 1 2017 On axiomatizability of the multiplicative theory of numbers. Zbl 1436.03307Salehi, Saeed 1 2018 Kripke semantics for fuzzy logics. Zbl 1398.03131Safari, Parvin; Salehi, Saeed 1 2018 Polynomially bounded recursive realizability. Zbl 1097.03051Salehi, Saeed 1 2005 Herbrand consistency of some arithmetical theories. Zbl 1256.03065Salehi, Saeed 1 2012 On constructivity and the Rosser property: a closer look at some Gödelean proofs. Zbl 1434.03135Salehi, Saeed; Seraji, Payam 3 2018 On axiomatizability of the multiplicative theory of numbers. Zbl 1436.03307Salehi, Saeed 1 2018 Kripke semantics for fuzzy logics. Zbl 1398.03131Safari, Parvin; Salehi, Saeed 1 2018 Gödel-Rosser’s incompleteness theorem, generalized and optimized for definable theories. Zbl 1444.03166Salehi, Saeed; Seraji, Payam 3 2017 Diagonal arguments and fixed points. Zbl 1405.18001Karimi, Ahmad; Salehi, Saeed 1 2017 Gödel’s incompleteness phenomenon – computationally. Zbl 1325.03074Salehi, Saeed 2 2014 Separating bounded arithmetical theories by Herbrand consistency. Zbl 1252.03136Salehi, Saeed 2 2012 Herbrand consistency of some arithmetical theories. Zbl 1256.03065Salehi, Saeed 1 2012 Tree algebras and varieties of tree languages. Zbl 1118.68089Salehi, Saeed; Steinby, Magnus 6 2007 Varieties of many-sorted recognizable sets. Zbl 1224.68056Salehi, Saeed; Steinby, Magnus 2 2007 Positive varieties of tree languages. Zbl 1080.68068Petković, Tatjana; Salehi, Saeed 6 2005 Varieties of tree languages definable by syntactic monoids. Zbl 1084.68078Salehi, Saeed 4 2005 Polynomially bounded recursive realizability. Zbl 1097.03051Salehi, Saeed 1 2005 Provably total functions of basic arithmetic. Zbl 1026.03045Salehi, Saeed 8 2003 Intuitionistic axiomatizations for bounded extension Kripke models. Zbl 1040.03044Ardeshir, Mohammad; Ruitenburg, Wim; Salehi, Saeed 2 2003 all cited Publications top 5 cited Publications all top 5 Cited by 27 Authors 10 Salehi, Saeed 5 Konovalov, Aleksandr Yur’evich 2 Alirezazadeh, Saeid 2 Ardeshir, Mohammad 2 Ésik, Zoltán 2 Khaniki, Erfan 2 Steinby, Magnus 1 Adámek, Jiří 1 Alibabaei, Khadijeh 1 Assadi, Ziba 1 Blanck, Rasmus 1 Blumensath, Achim 1 Chen, Liang-Ting 1 Cheng, Yong 1 Denecke, Klaus Dieter 1 Fülöp, Zoltán 1 Karimi, Ahmad 1 Milius, Stefan 1 Mojtahedi, S. Mojtaba 1 Petković, Tatjana 1 Sarasit, Napaporn 1 Seraji, Payam 1 Shahriari, Mohsen 1 Urbat, Henning 1 Wainer, Stanley Scott 1 Weil, Pascal 1 Wismath, Shelly L. all top 5 Cited in 18 Serials 4 Theoretical Computer Science 4 The Bulletin of Symbolic Logic 2 Moscow University Mathematics Bulletin 2 Algebra and Logic 2 Notre Dame Journal of Formal Logic 2 International Journal of Foundations of Computer Science 1 Mathematical Notes 1 Advances in Mathematics 1 Demonstratio Mathematica 1 The Journal of Symbolic Logic 1 Annals of Pure and Applied Logic 1 International Journal of Algebra and Computation 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 Soft Computing 1 The Journal of Logic and Algebraic Programming 1 Logic and Logical Philosophy 1 The Review of Symbolic Logic all top 5 Cited in 6 Fields 22 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 5 General algebraic systems (08-XX) 4 Group theory and generalizations (20-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.