Edit Profile (opens in new tab) Salehi, Saeed Co-Author Distance 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: 31 Publications since 2002 Reviewing Activity: 79 Reviews Co-Authors: 9 Co-Authors with 11 Joint Publications 51 Co-Co-Authors all top 5 Co-Authors 18 single-authored 2 Assadi, Ziba 2 Seraji, Payam 2 Steinby, Magnus 1 Ardeshir, Mohammad 1 Karimi, Ahmad 1 Lajevardi, Kaave 1 Nilsson, Håkan 1 Petković, Tatjana 1 Ruitenburg, Wim B. G. 1 Safari, Parvin 1 Zarza, Mohammadsaleh all top 5 Serials 3 Journal of Logic and Computation 2 Reports on Mathematical Logic 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Bulletin of the Iranian Mathematical Society 2 The Bulletin of Symbolic Logic 2 Logic Journal of the IGPL 2 Soft Computing 1 Computer Physics Communications 1 Rocky Mountain Journal of Mathematics 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 Philosophia Mathematica. Series III 1 Fundamenta Informaticae 1 Philosophia Scientiae all top 5 Fields 24 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 5 General algebraic systems (08-XX) 2 Field theory and polynomials (12-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 53 times in 37 Documents Cited by ▼ Year ▼ Provably total functions of basic arithmetic. Zbl 1026.03045Salehi, Saeed 10 2003 Tree algebras and varieties of tree languages. Zbl 1118.68089Salehi, Saeed; Steinby, Magnus 9 2007 Positive varieties of tree languages. Zbl 1080.68068Petković, Tatjana; Salehi, Saeed 7 2005 Varieties of tree languages definable by syntactic monoids. Zbl 1084.68078Salehi, Saeed 4 2005 On constructivity and the Rosser property: a closer look at some Gödelean proofs. Zbl 1434.03135Salehi, Saeed; Seraji, Payam 3 2018 Gödel-Rosser’s incompleteness theorem, generalized and optimized for definable theories. Zbl 1444.03166Salehi, Saeed; Seraji, Payam 3 2017 Gödel’s incompleteness phenomenon – computationally. Zbl 1325.03074Salehi, Saeed 2 2014 Intuitionistic axiomatizations for bounded extension Kripke models. Zbl 1040.03044Ardeshir, Mohammad; Ruitenburg, Wim; Salehi, Saeed 2 2003 On axiomatizability of the multiplicative theory of numbers. Zbl 1436.03307Salehi, Saeed 2 2018 Separating bounded arithmetical theories by Herbrand consistency. Zbl 1252.03136Salehi, Saeed 2 2012 Herbrand consistency of some arithmetical theories. Zbl 1256.03065Salehi, Saeed 2 2012 Varieties of many-sorted recognizable sets. Zbl 1224.68056Salehi, Saeed; Steinby, Magnus 2 2007 Polynomially bounded recursive realizability. Zbl 1097.03051Salehi, Saeed 1 2005 Kripke semantics for fuzzy logics. Zbl 1398.03131Safari, Parvin; Salehi, Saeed 1 2018 On decidability and axiomatizability of some ordered structures. Zbl 1418.03171Assadi, Ziba; Salehi, Saeed 1 2019 First-order continuous induction and a logical study of real closed fields. Zbl 1486.03060Salehi, Saeed; Zarza, Mohammadsaleh 1 2020 Diagonal arguments and fixed points. Zbl 1405.18001Karimi, Ahmad; Salehi, Saeed 1 2017 First-order continuous induction and a logical study of real closed fields. Zbl 1486.03060Salehi, Saeed; Zarza, Mohammadsaleh 1 2020 On decidability and axiomatizability of some ordered structures. Zbl 1418.03171Assadi, Ziba; Salehi, Saeed 1 2019 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 2 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 2 2012 Tree algebras and varieties of tree languages. Zbl 1118.68089Salehi, Saeed; Steinby, Magnus 9 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 7 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 10 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 33 Authors 10 Salehi, Saeed 6 Konovalov, Aleksandr Yur’evich 3 Ésik, Zoltán 2 Alirezazadeh, Saeid 2 Ardeshir, Mohammad 2 Khaniki, Erfan 2 Milius, Stefan 2 Steinby, Magnus 1 Adámek, Jiří 1 Alibabaei, Khadijeh 1 Assadi, Ziba 1 Blanck, Rasmus 1 Blumensath, Achim 1 Bonsangue, Marcello Maria 1 Chen, Liang-Ting 1 Cheng, Yong 1 Denecke, Klaus Dieter 1 Fülöp, Zoltán 1 Iván, Szabolcs 1 Karimi, Ahmad 1 Kumduang, Thodsaporn 1 Mojtahedi, S. Mojtaba 1 Petković, Tatjana 1 Rutten, Jan J. M. M. 1 Salamanca, Julian 1 Sarasit, Napaporn 1 Seraji, Payam 1 Shahriari, Mohsen 1 Sriwongsa, Songpon 1 Urbat, Henning 1 Wainer, Stanley Scott 1 Weil, Pascal 1 Wismath, Shelly L. all top 5 Cited in 21 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 2 The Review of Symbolic Logic 1 Communications in Algebra 1 Mathematical Notes 1 Rocky Mountain Journal of Mathematics 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 ACM Transactions on Computational Logic all top 5 Cited in 8 Fields 27 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 6 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) 1 Number theory (11-XX) 1 Field theory and polynomials (12-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.