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: 41 Publications since 2002, including 9 Additional arXiv Preprints Reviewing Activity: 80 Reviews Co-Authors: 9 Co-Authors with 12 Joint Publications 61 Co-Co-Authors all top 5 Co-Authors 24 single-authored 4 Lajevardi, Kaave 2 Assadi, Ziba 2 Karimi, Ahmad 2 Seraji, Payam 2 Steinby, Magnus 1 Ardeshir, Mohammad 1 Nilsson, Håkan 1 Petković, Tatjana 1 Ruitenburg, Wim B. G. 1 Safari, Parvin 1 Zarza, Mohammadsaleh all top 5 Serials 4 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 33 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 5 General algebraic systems (08-XX) 3 Number theory (11-XX) 3 Field theory and polynomials (12-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Probability theory and stochastic processes (60-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 57 times in 40 Documents Cited by ▼ Year ▼ Provably total functions of basic arithmetic. Zbl 1026.03045 Salehi, Saeed 11 2003 Tree algebras and varieties of tree languages. Zbl 1118.68089 Salehi, Saeed; Steinby, Magnus 10 2007 Positive varieties of tree languages. Zbl 1080.68068 Petković, Tatjana; Salehi, Saeed 8 2005 Varieties of tree languages definable by syntactic monoids. Zbl 1084.68078 Salehi, Saeed 4 2005 Gödel-Rosser’s incompleteness theorem, generalized and optimized for definable theories. Zbl 1444.03166 Salehi, Saeed; Seraji, Payam 3 2017 On constructivity and the Rosser property: a closer look at some Gödelean proofs. Zbl 1434.03135 Salehi, Saeed; Seraji, Payam 3 2018 Gödel’s incompleteness phenomenon – computationally. Zbl 1325.03074 Salehi, Saeed 2 2014 On axiomatizability of the multiplicative theory of numbers. Zbl 1436.03307 Salehi, Saeed 2 2018 Varieties of many-sorted recognizable sets. Zbl 1224.68056 Salehi, Saeed; Steinby, Magnus 2 2007 Intuitionistic axiomatizations for bounded extension Kripke models. Zbl 1040.03044 Ardeshir, Mohammad; Ruitenburg, Wim; Salehi, Saeed 2 2003 Herbrand consistency of some arithmetical theories. Zbl 1256.03065 Salehi, Saeed 2 2012 Separating bounded arithmetical theories by Herbrand consistency. Zbl 1252.03136 Salehi, Saeed 2 2012 Polynomially bounded recursive realizability. Zbl 1097.03051 Salehi, Saeed 1 2005 On decidability and axiomatizability of some ordered structures. Zbl 1418.03171 Assadi, Ziba; Salehi, Saeed 1 2019 Kripke semantics for fuzzy logics. Zbl 1398.03131 Safari, Parvin; Salehi, Saeed 1 2018 Diagonal arguments and fixed points. Zbl 1405.18001 Karimi, Ahmad; Salehi, Saeed 1 2017 First-order continuous induction and a logical study of real closed fields. Zbl 1486.03060 Salehi, Saeed; Zarza, Mohammadsaleh 1 2020 On the diagonal lemma of Gödel and Carnap. Zbl 1459.03089 Salehi, Saeed 1 2020 First-order continuous induction and a logical study of real closed fields. Zbl 1486.03060 Salehi, Saeed; Zarza, Mohammadsaleh 1 2020 On the diagonal lemma of Gödel and Carnap. Zbl 1459.03089 Salehi, Saeed 1 2020 On decidability and axiomatizability of some ordered structures. Zbl 1418.03171 Assadi, Ziba; Salehi, Saeed 1 2019 On constructivity and the Rosser property: a closer look at some Gödelean proofs. Zbl 1434.03135 Salehi, Saeed; Seraji, Payam 3 2018 On axiomatizability of the multiplicative theory of numbers. Zbl 1436.03307 Salehi, Saeed 2 2018 Kripke semantics for fuzzy logics. Zbl 1398.03131 Safari, Parvin; Salehi, Saeed 1 2018 Gödel-Rosser’s incompleteness theorem, generalized and optimized for definable theories. Zbl 1444.03166 Salehi, Saeed; Seraji, Payam 3 2017 Diagonal arguments and fixed points. Zbl 1405.18001 Karimi, Ahmad; Salehi, Saeed 1 2017 Gödel’s incompleteness phenomenon – computationally. Zbl 1325.03074 Salehi, Saeed 2 2014 Herbrand consistency of some arithmetical theories. Zbl 1256.03065 Salehi, Saeed 2 2012 Separating bounded arithmetical theories by Herbrand consistency. Zbl 1252.03136 Salehi, Saeed 2 2012 Tree algebras and varieties of tree languages. Zbl 1118.68089 Salehi, Saeed; Steinby, Magnus 10 2007 Varieties of many-sorted recognizable sets. Zbl 1224.68056 Salehi, Saeed; Steinby, Magnus 2 2007 Positive varieties of tree languages. Zbl 1080.68068 Petković, Tatjana; Salehi, Saeed 8 2005 Varieties of tree languages definable by syntactic monoids. Zbl 1084.68078 Salehi, Saeed 4 2005 Polynomially bounded recursive realizability. Zbl 1097.03051 Salehi, Saeed 1 2005 Provably total functions of basic arithmetic. Zbl 1026.03045 Salehi, Saeed 11 2003 Intuitionistic axiomatizations for bounded extension Kripke models. Zbl 1040.03044 Ardeshir, Mohammad; Ruitenburg, Wim; Salehi, Saeed 2 2003 all cited Publications top 5 cited Publications all top 5 Cited by 35 Authors 10 Salehi, Saeed 7 Konovalov, Aleksandr Yur’evich 3 Ésik, Zoltán 2 Alirezazadeh, Saeid 2 Ardeshir, Mohammad 2 Khaniki, Erfan 2 Kumduang, Thodsaporn 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 Chansuriya, Nagornchat 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 Mojtahedi, S. Mojtaba 1 Petković, Tatjana 1 Phuapong, Sarawut 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 22 Serials 4 Theoretical Computer Science 4 The Bulletin of Symbolic Logic 2 Mathematical Notes 2 Moscow University Mathematics Bulletin 2 Algebra and Logic 2 The Journal of Symbolic 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 Rocky Mountain Journal of Mathematics 1 Advances in Mathematics 1 Demonstratio Mathematica 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 Algebra and Discrete Mathematics 1 ACM Transactions on Computational Logic all top 5 Cited in 8 Fields 29 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 7 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.