Cheng, Yong Current research on Gödel’s incompleteness theorems. (English) Zbl 1497.03067 Bull. Symb. Log. 27, No. 2, 113-167 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03-02 PDF BibTeX XML Cite \textit{Y. Cheng}, Bull. Symb. Log. 27, No. 2, 113--167 (2021; Zbl 1497.03067) Full Text: DOI arXiv OpenURL
Grabmayr, Balthasar On the invariance of Gödel’s second theorem with regard to numberings. (English) Zbl 1487.03070 Rev. Symb. Log. 14, No. 1, 51-84 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03A05 03B25 03F30 PDF BibTeX XML Cite \textit{B. Grabmayr}, Rev. Symb. Log. 14, No. 1, 51--84 (2021; Zbl 1487.03070) Full Text: DOI arXiv OpenURL
Zaouati, Philippe Perelman’s refusal. A novel. Translated from the French by Rachel Zerner. (English) Zbl 1482.00003 Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6304-5/pbk; 978-1-4704-6490-5/ebook). ix, 133 p. (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 00A09 01A70 53-03 PDF BibTeX XML Cite \textit{P. Zaouati}, Perelman's refusal. A novel. Translated from the French by Rachel Zerner. Providence, RI: American Mathematical Society (AMS) (2021; Zbl 1482.00003) OpenURL
Cheng, Yong Finding the limit of incompleteness. I. (English) Zbl 1464.03089 Bull. Symb. Log. 26, No. 3-4, 268-286 (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03D35 PDF BibTeX XML Cite \textit{Y. Cheng}, Bull. Symb. Log. 26, No. 3--4, 268--286 (2020; Zbl 1464.03089) Full Text: DOI arXiv OpenURL
Kurahashi, Taishi A note on derivability conditions. (English) Zbl 1473.03037 J. Symb. Log. 85, No. 3, 1224-1253 (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 PDF BibTeX XML Cite \textit{T. Kurahashi}, J. Symb. Log. 85, No. 3, 1224--1253 (2020; Zbl 1473.03037) Full Text: DOI arXiv OpenURL
von Plato, Jan Can mathematics be proved consistent? Gödel’s shorthand notes & lectures on incompleteness. (English) Zbl 1466.03001 Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-030-50875-3/hbk; 978-3-030-50878-4/pbk; 978-3-030-50876-0/ebook). ix, 263 p. (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03-03 03F40 01A75 01A70 01A60 PDF BibTeX XML Cite \textit{J. von Plato}, Can mathematics be proved consistent? Gödel's shorthand notes \& lectures on incompleteness. Cham: Springer (2020; Zbl 1466.03001) Full Text: DOI OpenURL
Konovalov, A. Yu. Generalized realizability for extensions of the language of arithmetic. (English. Russian original) Zbl 1454.03079 Mosc. Univ. Math. Bull. 74, No. 4, 167-170 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50-54 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F50 03F55 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Mosc. Univ. Math. Bull. 74, No. 4, 167--170 (2019; Zbl 1454.03079); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50--54 (2019) Full Text: DOI OpenURL
Utreras, Javier Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings. (English) Zbl 1454.03015 J. Symb. Log. 84, No. 3, 1194-1214 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03B25 12L05 03F30 03D35 PDF BibTeX XML Cite \textit{J. Utreras}, J. Symb. Log. 84, No. 3, 1194--1214 (2019; Zbl 1454.03015) Full Text: DOI OpenURL
Hieronymi, Philipp When is scalar multiplication decidable? (English) Zbl 1446.03029 Ann. Pure Appl. Logic 170, No. 10, 1162-1175 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03B25 03C64 03C60 03D05 11A67 11U05 PDF BibTeX XML Cite \textit{P. Hieronymi}, Ann. Pure Appl. Logic 170, No. 10, 1162--1175 (2019; Zbl 1446.03029) Full Text: DOI arXiv OpenURL
Montalbán, Antonio; Walsh, James On the inevitability of the consistency operator. (English) Zbl 1456.03091 J. Symb. Log. 84, No. 1, 205-225 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 PDF BibTeX XML Cite \textit{A. Montalbán} and \textit{J. Walsh}, J. Symb. Log. 84, No. 1, 205--225 (2019; Zbl 1456.03091) Full Text: DOI arXiv OpenURL
Koenigsmann, Jochen Decidability in local and global fields. (English) Zbl 1458.11171 Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 45-59 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 03B25 11F85 12J10 12L05 PDF BibTeX XML Cite \textit{J. Koenigsmann}, in: Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 45--59 (2018; Zbl 1458.11171) Full Text: DOI Link OpenURL
Kurahashi, Taishi On partial disjunction properties of theories containing Peano arithmetic. (English) Zbl 1446.03102 Arch. Math. Logic 57, No. 7-8, 953-980 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 PDF BibTeX XML Cite \textit{T. Kurahashi}, Arch. Math. Logic 57, No. 7--8, 953--980 (2018; Zbl 1446.03102) Full Text: DOI OpenURL
Li, Fu; Tzameret, Iddo; Wang, Zhengyu Characterizing propositional proofs as noncommutative formulas. (English) Zbl 1426.03037 SIAM J. Comput. 47, No. 4, 1424-1462 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03B05 03D15 68Q15 68Q17 PDF BibTeX XML Cite \textit{F. Li} et al., SIAM J. Comput. 47, No. 4, 1424--1462 (2018; Zbl 1426.03037) Full Text: DOI arXiv OpenURL
Halava, Vesa; Harju, Tero; Sahla, Esa On fixed points of rational transductions. (English) Zbl 1412.03019 Theor. Comput. Sci. 732, 85-88 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 03D35 68Q45 PDF BibTeX XML Cite \textit{V. Halava} et al., Theor. Comput. Sci. 732, 85--88 (2018; Zbl 1412.03019) Full Text: DOI OpenURL
Kikuchi, Makoto; Kurahashi, Taishi Generalizations of Gödel’s incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic. (English) Zbl 1426.03038 Rev. Symb. Log. 10, No. 4, 603-616 (2017). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 PDF BibTeX XML Cite \textit{M. Kikuchi} and \textit{T. Kurahashi}, Rev. Symb. Log. 10, No. 4, 603--616 (2017; Zbl 1426.03038) Full Text: DOI OpenURL
Freund, Max A. Predication and computable concepts. (English) Zbl 1404.03016 Log. Anal., Nouv. Sér. 59, No. 234, 133-155 (2016). Reviewer: Saeed Salehi (Tabriz) MSC: 03A05 03D10 03F25 PDF BibTeX XML Cite \textit{M. A. Freund}, Log. Anal., Nouv. Sér. 59, No. 234, 133--155 (2016; Zbl 1404.03016) Full Text: DOI OpenURL
Idziaszek, Tomasz; Skrzypczak, Michał; Bojańczyk, Mikołaj Regular languages of thin trees. (English) Zbl 1350.68173 Theory Comput. Syst. 58, No. 4, 614-663 (2016). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Idziaszek} et al., Theory Comput. Syst. 58, No. 4, 614--663 (2016; Zbl 1350.68173) Full Text: DOI Link OpenURL
Japaridze, Giorgi Introduction to clarithmetic. II. (English) Zbl 1343.03045 Inf. Comput. 247, 290-312 (2016). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 PDF BibTeX XML Cite \textit{G. Japaridze}, Inf. Comput. 247, 290--312 (2016; Zbl 1343.03045) Full Text: DOI arXiv OpenURL
Maletti, Andreas Hyper-optimization for deterministic tree automata. (English) Zbl 1319.68138 Theor. Comput. Sci. 578, 72-87 (2015). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Maletti}, Theor. Comput. Sci. 578, 72--87 (2015; Zbl 1319.68138) Full Text: DOI OpenURL
Kufleitner, Manfred; Walter, Tobias One quantifier alternation in first-order logic with modular predicates. (English) Zbl 1339.03014 RAIRO, Theor. Inform. Appl. 49, No. 1, 1-22 (2015). Reviewer: Saeed Salehi (Tabriz) MSC: 03B25 03D05 68Q70 20M35 68Q45 PDF BibTeX XML Cite \textit{M. Kufleitner} and \textit{T. Walter}, RAIRO, Theor. Inform. Appl. 49, No. 1, 1--22 (2015; Zbl 1339.03014) Full Text: DOI arXiv OpenURL
Lohrey, Markus The compressed word problem for groups. (English) Zbl 1391.20003 SpringerBriefs in Mathematics. New York, NY: Springer (ISBN 978-1-4939-0747-2/pbk; 978-1-4939-0748-9/ebook). xii, 153 p. (2014). Reviewer: Saeed Salehi (Tabriz) MSC: 20-02 20F10 20E05 20F05 20F28 68Q25 PDF BibTeX XML Cite \textit{M. Lohrey}, The compressed word problem for groups. New York, NY: Springer (2014; Zbl 1391.20003) Full Text: DOI OpenURL
Japaridze, Giorgi Introduction to clarithmetic. III. (English) Zbl 1303.03089 Ann. Pure Appl. Logic 165, No. 1, 241-252 (2014). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 03D75 PDF BibTeX XML Cite \textit{G. Japaridze}, Ann. Pure Appl. Logic 165, No. 1, 241--252 (2014; Zbl 1303.03089) Full Text: DOI arXiv OpenURL
Bova, Simone; Chen, Hubie; Valeriote, Matthew Generic expression hardness results for primitive positive formula comparison. (English) Zbl 1295.68121 Inf. Comput. 222, 108-120 (2013). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q17 03D15 08A30 68Q15 08A70 PDF BibTeX XML Cite \textit{S. Bova} et al., Inf. Comput. 222, 108--120 (2013; Zbl 1295.68121) Full Text: DOI arXiv OpenURL
Smith, Peter An introduction to Gödel’s theorems. 2nd ed. (English) Zbl 1270.03002 Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-1-107-60675-3/pbk; 978-1-107-02284-3/hbk). xvi, 388 p. (2013). Reviewer: Saeed Salehi (Tabriz) MSC: 03-01 03-02 03-03 03F30 03F40 PDF BibTeX XML Cite \textit{P. Smith}, An introduction to Gödel's theorems. 2nd ed. Cambridge: Cambridge University Press (2013; Zbl 1270.03002) Full Text: DOI OpenURL
Fernández-Duque, David; Joosten, Joost J. Kripke models of transfinite provability logic. (English) Zbl 1301.03063 Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 185-199 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 03F45 PDF BibTeX XML Cite \textit{D. Fernández-Duque} and \textit{J. J. Joosten}, in: Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22--25, 2012. London: College Publications. 185--199 (2012; Zbl 1301.03063) OpenURL
Steinby, Magnus On the solidity of general varieties of tree languages. (English) Zbl 1306.08004 Discuss. Math., Gen. Algebra Appl. 32, 23-53 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 08B15 68Q70 08A70 PDF BibTeX XML Cite \textit{M. Steinby}, Discuss. Math., Gen. Algebra Appl. 32, 23--53 (2012; Zbl 1306.08004) Full Text: DOI Link OpenURL
Dantchev, Stefan; Martin, Barnaby Cutting planes and the parameter cutwidth. (English) Zbl 1282.03023 Theory Comput. Syst. 51, No. 1, 50-64 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 PDF BibTeX XML Cite \textit{S. Dantchev} and \textit{B. Martin}, Theory Comput. Syst. 51, No. 1, 50--64 (2012; Zbl 1282.03023) Full Text: DOI OpenURL
Kikuchi, Makoto; Kurahashi, Taishi; Sakai, Hiroshi On proofs of the incompleteness theorems based on Berry’s paradox by Vopěnka, Chaitin, and Boolos. (English) Zbl 1257.03088 Math. Log. Q. 58, No. 4-5, 307-316 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03A05 03F30 68Q30 PDF BibTeX XML Cite \textit{M. Kikuchi} et al., Math. Log. Q. 58, No. 4--5, 307--316 (2012; Zbl 1257.03088) Full Text: DOI OpenURL
Ésik, Z.; Kuich, W. Free iterative and iteration \(K\)-semialgebras. (English) Zbl 1260.08001 Algebra Univers. 67, No. 2, 141-162 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 08A70 68Q70 16Y60 PDF BibTeX XML Cite \textit{Z. Ésik} and \textit{W. Kuich}, Algebra Univers. 67, No. 2, 141--162 (2012; Zbl 1260.08001) Full Text: DOI arXiv OpenURL
Fratani, Séverine Regular sets over extended tree structures. (English) Zbl 1244.68047 Theor. Comput. Sci. 418, 48-70 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 03D05 PDF BibTeX XML Cite \textit{S. Fratani}, Theor. Comput. Sci. 418, 48--70 (2012; Zbl 1244.68047) Full Text: DOI OpenURL
Courcelle, Bruno; Engelfriet, Joost [Nivat, Maurice] Graph structure and monadic second-order logic. A language-theoretic approach. (English) Zbl 1257.68006 Encyclopedia of Mathematics and its Applications 138. Cambridge: Cambridge University Press (ISBN 978-0-521-89833-1/hbk). xiv, 728 p. (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 68-02 03B15 03D05 05C85 05C90 68Q45 68R10 PDF BibTeX XML Cite \textit{B. Courcelle} and \textit{J. Engelfriet}, Graph structure and monadic second-order logic. A language-theoretic approach. Cambridge: Cambridge University Press (2012; Zbl 1257.68006) OpenURL
Macintyre, Angus The impact of Gödel’s incompleteness theorems on mathematics. (English) Zbl 1288.03003 Baaz, Matthias (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press (ISBN 978-0-521-76144-4/hbk). 3-25 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03-03 00A30 03F40 00A35 01A65 03A05 03B25 11U05 PDF BibTeX XML Cite \textit{A. Macintyre}, in: Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press. 3--25 (2011; Zbl 1288.03003) OpenURL
Serény, György How do we know that the Gödel sentence of a consistent theory is true? (English) Zbl 1282.03024 Philos. Math. (3) 19, No. 1, 47-73 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 PDF BibTeX XML Cite \textit{G. Serény}, Philos. Math. (3) 19, No. 1, 47--73 (2011; Zbl 1282.03024) Full Text: DOI OpenURL
Morozov, A. S. On some representations of the real number field. (English. Russian original) Zbl 1291.03079 Algebra Logic 50, No. 2, 189-190 (2011); translation from Algebra Logika 50, No. 2, 270-271 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03D45 03C40 12L99 PDF BibTeX XML Cite \textit{A. S. Morozov}, Algebra Logic 50, No. 2, 189--190 (2011; Zbl 1291.03079); translation from Algebra Logika 50, No. 2, 270--271 (2011) Full Text: DOI OpenURL
Ésik, Zoltán; Maletti, Andreas The category of simulations for weighted tree automata. (English) Zbl 1244.68046 Int. J. Found. Comput. Sci. 22, No. 8, 1845-1859 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 68Q70 PDF BibTeX XML Cite \textit{Z. Ésik} and \textit{A. Maletti}, Int. J. Found. Comput. Sci. 22, No. 8, 1845--1859 (2011; Zbl 1244.68046) Full Text: DOI OpenURL
Moura, Ana The word problem for \(\omega \)-terms over DA. (English) Zbl 1237.68117 Theor. Comput. Sci. 412, No. 46, 6556-6569 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 68Q70 20M05 PDF BibTeX XML Cite \textit{A. Moura}, Theor. Comput. Sci. 412, No. 46, 6556--6569 (2011; Zbl 1237.68117) Full Text: DOI OpenURL
Japaridze, Giorgi Introduction to clarithmetic. I. (English) Zbl 1243.03075 Inf. Comput. 209, No. 10, 1312-1354 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 PDF BibTeX XML Cite \textit{G. Japaridze}, Inf. Comput. 209, No. 10, 1312--1354 (2011; Zbl 1243.03075) Full Text: DOI arXiv OpenURL
Visser, Albert Can we make the second incompleteness theorem coordinate free? (English) Zbl 1262.03123 J. Log. Comput. 21, No. 4, 543-560 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F25 PDF BibTeX XML Cite \textit{A. Visser}, J. Log. Comput. 21, No. 4, 543--560 (2011; Zbl 1262.03123) Full Text: DOI Link OpenURL
Haubold, Niko; Lohrey, Markus Compressed word problems in HNN-extensions and amalgamated products. (English) Zbl 1235.68106 Theory Comput. Syst. 49, No. 2, 283-305 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q70 20F10 68Q25 PDF BibTeX XML Cite \textit{N. Haubold} and \textit{M. Lohrey}, Theory Comput. Syst. 49, No. 2, 283--305 (2011; Zbl 1235.68106) Full Text: DOI arXiv OpenURL
Jeřábek, Emil A sorting network in bounded arithmetic. (English) Zbl 1257.03087 Ann. Pure Appl. Logic 162, No. 4, 341-355 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 PDF BibTeX XML Cite \textit{E. Jeřábek}, Ann. Pure Appl. Logic 162, No. 4, 341--355 (2011; Zbl 1257.03087) Full Text: DOI OpenURL
Mućka, Anna Subdirectly irreducible fibered automata. II. (English) Zbl 1236.08014 Demonstr. Math. 44, No. 1, 1-15 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 08A68 08B26 68Q70 PDF BibTeX XML Cite \textit{A. Mućka}, Demonstr. Math. 44, No. 1, 1--15 (2011; Zbl 1236.08014) Full Text: DOI OpenURL
Kitada, Hitoshi Rebuttal to the review of my paper “An implication of Gödel’s incompleteness theorem” appeared in Zentralblatt für Mathematik. (English) Zbl 1231.03053 Int. J. Pure Appl. Math. 70, No. 1, 11-14 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 PDF BibTeX XML Cite \textit{H. Kitada}, Int. J. Pure Appl. Math. 70, No. 1, 11--14 (2011; Zbl 1231.03053) Full Text: Link OpenURL
Höfner, Peter; Möller, Bernhard Fixing Zeno gaps. (English) Zbl 1227.68079 Theor. Comput. Sci. 412, No. 28, 3303-3322 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q99 68Q70 68Q85 37N99 PDF BibTeX XML Cite \textit{P. Höfner} and \textit{B. Möller}, Theor. Comput. Sci. 412, No. 28, 3303--3322 (2011; Zbl 1227.68079) Full Text: DOI Link OpenURL
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent On equal \(\mu \)-terms. (English) Zbl 1227.68041 Theor. Comput. Sci. 412, No. 28, 3175-3202 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q42 03B25 03B40 PDF BibTeX XML Cite \textit{J. Endrullis} et al., Theor. Comput. Sci. 412, No. 28, 3175--3202 (2011; Zbl 1227.68041) Full Text: DOI OpenURL
Utreras, Javier A logical approach to the problem of representation of integers by systems of diagonal forms. (English) Zbl 1235.11114 Bull. Lond. Math. Soc. 43, No. 2, 299-310 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 03B25 11D85 PDF BibTeX XML Cite \textit{J. Utreras}, Bull. Lond. Math. Soc. 43, No. 2, 299--310 (2011; Zbl 1235.11114) Full Text: DOI OpenURL
Fülöp, Zoltán; Steinby, Magnus Varieties of recognizable tree series over fields. (English) Zbl 1220.68067 Theor. Comput. Sci. 412, No. 8-10, 736-752 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Fülöp} and \textit{M. Steinby}, Theor. Comput. Sci. 412, No. 8--10, 736--752 (2011; Zbl 1220.68067) Full Text: DOI OpenURL
Mućka, Anna Subdirectly irreducible fibered automata. (English) Zbl 1236.08015 Demonstr. Math. 43, No. 4, 739-753 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 08A68 08B26 68Q70 PDF BibTeX XML Cite \textit{A. Mućka}, Demonstr. Math. 43, No. 4, 739--753 (2010; Zbl 1236.08015) OpenURL
Chubaryan, Anahit Rabin style speed-up of proofs. More generalized speed-up in the systems of first order logic. (English) Zbl 1217.03045 Saarbrücken: LAP Lambert Academic Publishing (ISBN 978-3-8433-7255-8). 52 p. (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03-02 PDF BibTeX XML Cite \textit{A. Chubaryan}, Rabin style speed-up of proofs. More generalized speed-up in the systems of first order logic. Saarbrücken: LAP Lambert Academic Publishing (2010; Zbl 1217.03045) OpenURL
Hetzl, Stefan On the form of witness terms. (English) Zbl 1205.03064 Arch. Math. Logic 49, No. 5, 529-554 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F05 03F07 03F30 PDF BibTeX XML Cite \textit{S. Hetzl}, Arch. Math. Logic 49, No. 5, 529--554 (2010; Zbl 1205.03064) Full Text: DOI HAL OpenURL
Japaridze, Giorgi Towards applied theories based on computability logic. (English) Zbl 1201.03055 J. Symb. Log. 75, No. 2, 565-601 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F50 03B70 03F30 PDF BibTeX XML Cite \textit{G. Japaridze}, J. Symb. Log. 75, No. 2, 565--601 (2010; Zbl 1201.03055) Full Text: DOI arXiv OpenURL
Chen, Yijia; Flum, Jörg On the complexity of Gödel’s proof predicate. (English) Zbl 1201.03050 J. Symb. Log. 75, No. 1, 239-254 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{J. Flum}, J. Symb. Log. 75, No. 1, 239--254 (2010; Zbl 1201.03050) Full Text: DOI Link OpenURL
Willard, Dan E. Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem. (English) Zbl 1191.03044 Inf. Comput. 207, No. 10, 1078-1093 (2009). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 PDF BibTeX XML Cite \textit{D. E. Willard}, Inf. Comput. 207, No. 10, 1078--1093 (2009; Zbl 1191.03044) Full Text: DOI OpenURL
Kitada, Hitoshi An implication of Gödel’s incompleteness theorem. (English) Zbl 1186.03072 Int. J. Pure Appl. Math. 52, No. 4, 511-567 (2009). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03B25 03E99 03F15 PDF BibTeX XML Cite \textit{H. Kitada}, Int. J. Pure Appl. Math. 52, No. 4, 511--567 (2009; Zbl 1186.03072) Full Text: arXiv OpenURL
Cavagnetto, Stefano String rewriting and proof complexity: an interpretation of resolution. (English) Zbl 1173.03043 Rep. Math. Logic 44, 167-200 (2009). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03F07 68Q42 PDF BibTeX XML Cite \textit{S. Cavagnetto}, Rep. Math. Logic 44, 167--200 (2009; Zbl 1173.03043) OpenURL
Pudlák, Pavel Fragments of bounded arithmetic and the lengths of proofs. (English) Zbl 1168.03044 J. Symb. Log. 73, No. 4, 1389-1406 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03F30 PDF BibTeX XML Cite \textit{P. Pudlák}, J. Symb. Log. 73, No. 4, 1389--1406 (2008; Zbl 1168.03044) Full Text: DOI OpenURL
Japaridze, Giorgi Cirquent calculus deepened. (English) Zbl 1170.03028 J. Log. Comput. 18, No. 6, 983-1028 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F03 03F20 PDF BibTeX XML Cite \textit{G. Japaridze}, J. Log. Comput. 18, No. 6, 983--1028 (2008; Zbl 1170.03028) Full Text: DOI arXiv OpenURL
Naumov, Pavel On meta complexity of propositional formulas and propositional proofs. (English) Zbl 1148.03037 Arch. Math. Logic 47, No. 1, 35-52 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 PDF BibTeX XML Cite \textit{P. Naumov}, Arch. Math. Logic 47, No. 1, 35--52 (2008; Zbl 1148.03037) Full Text: DOI OpenURL
Bojańczyk, Mikołaj; Segoufin, Luc Tree languages defined in first-order logic with one quantifier alternation. (English) Zbl 1170.03019 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 233-245 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03D05 03B25 68Q45 PDF BibTeX XML Cite \textit{M. Bojańczyk} and \textit{L. Segoufin}, Lect. Notes Comput. Sci. 5126, 233--245 (2008; Zbl 1170.03019) Full Text: DOI arXiv OpenURL
Friedman, Harvey M. Remarks on Gödel phenomena and the field of reals. (English) Zbl 1150.03002 Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 68-71 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03A05 03-03 03B25 PDF BibTeX XML Cite \textit{H. M. Friedman}, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 68--71 (2008; Zbl 1150.03002) OpenURL
Shlapentokh, Alexandra Elliptic curves retaining their rank in finite extensions and Hilbert’s tenth problem for rings of algebraic numbers. (English) Zbl 1222.11147 Trans. Am. Math. Soc. 360, No. 7, 3541-3555 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 11G05 03C07 03B25 PDF BibTeX XML Cite \textit{A. Shlapentokh}, Trans. Am. Math. Soc. 360, No. 7, 3541--3555 (2008; Zbl 1222.11147) Full Text: DOI OpenURL
Schwichtenberg, Helmut Dialectica interpretation of well-founded induction. (English) Zbl 1144.03035 Math. Log. Q. 54, No. 3, 229-239 (2008). Reviewer: Saeed Salehí (Tabriz) MSC: 03F10 03F25 03F35 PDF BibTeX XML Cite \textit{H. Schwichtenberg}, Math. Log. Q. 54, No. 3, 229--239 (2008; Zbl 1144.03035) Full Text: DOI OpenURL
Smith, Peter An introduction to Gödel’s theorems. Reprint with corrections of the 2007 original. (English) Zbl 1154.03002 Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-0-521-67453-9/pbk; 978-0-521-85784-0/hbk). xiv, 361 p. (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03-01 03-02 03-03 03F30 03F40 PDF BibTeX XML Cite \textit{P. Smith}, An introduction to Gödel's theorems. Reprint with corrections of the 2007 original. Cambridge: Cambridge University Press (2008; Zbl 1154.03002) Full Text: DOI OpenURL
Restall, Greg Proofnets for S5: sequents and circuits for modal logic. (English) Zbl 1146.03038 Dimitracopoulos, Costas (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28–August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 151-172 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F05 03B45 03F07 PDF BibTeX XML Cite \textit{G. Restall}, Lect. Notes Log. 28, 151--172 (2008; Zbl 1146.03038) OpenURL
Cégielski, Patrick; Richard, Denis; Vsemirnov, Maxim On the additive theory of prime numbers. (English) Zbl 1153.11061 Fundam. Inform. 81, No. 1-3, 83-96 (2007). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 03B25 PDF BibTeX XML Cite \textit{P. Cégielski} et al., Fundam. Inform. 81, No. 1--3, 83--96 (2007; Zbl 1153.11061) Full Text: arXiv OpenURL
Sirokofskich, A.; Dimitracopoulos, C. On a problem of J. Paris. (English) Zbl 1137.03032 J. Log. Comput. 17, No. 6, 1099-1107 (2007). Reviewer: Saeed Salehí (Tabriz) MSC: 03F30 03C62 PDF BibTeX XML Cite \textit{A. Sirokofskich} and \textit{C. Dimitracopoulos}, J. Log. Comput. 17, No. 6, 1099--1107 (2007; Zbl 1137.03032) Full Text: DOI OpenURL
Brünnler, Kai Locality for classical logic. (English) Zbl 1131.03030 Notre Dame J. Formal Logic 47, No. 4, 557-580 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 03F05 03F07 PDF BibTeX XML Cite \textit{K. Brünnler}, Notre Dame J. Formal Logic 47, No. 4, 557--580 (2006; Zbl 1131.03030) Full Text: DOI arXiv OpenURL
Denecke, K.; Glubudom, P. Generalized power Menger algebras and generalized non-deterministic hypersubstitutions. (English) Zbl 1107.08005 Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 61-70 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 08A40 08A35 08A70 68Q70 PDF BibTeX XML Cite \textit{K. Denecke} and \textit{P. Glubudom}, Contrib. Gen. Algebra 17, 61--70 (2006; Zbl 1107.08005) OpenURL
Naumov, Pavel On modal logic of deductive closure. (English) Zbl 1104.03012 Ann. Pure Appl. Logic 141, No. 1-2, 218-224 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 03B45 03F45 PDF BibTeX XML Cite \textit{P. Naumov}, Ann. Pure Appl. Logic 141, No. 1--2, 218--224 (2006; Zbl 1104.03012) Full Text: DOI OpenURL
Petković, T.; Ćirić, M.; Bogdanović, S. On correspondences between unary algebras, automata, semigroups and congruences. (English) Zbl 1103.08003 Algebra Colloq. 13, No. 3, 495-506 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 08A60 08A30 08B99 20M07 68Q70 PDF BibTeX XML Cite \textit{T. Petković} et al., Algebra Colloq. 13, No. 3, 495--506 (2006; Zbl 1103.08003) Full Text: DOI OpenURL
Ciabattoni, Agata; Terui, Kazushige Towards a semantic characterization of cut-elimination. (English) Zbl 1105.03057 Stud. Log. 82, No. 1, 95-119 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 03F05 03B47 PDF BibTeX XML Cite \textit{A. Ciabattoni} and \textit{K. Terui}, Stud. Log. 82, No. 1, 95--119 (2006; Zbl 1105.03057) Full Text: DOI OpenURL
Steinby, Magnus Algebraic classifications of regular tree languages. (English) Zbl 1092.68060 Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 381-432 (2005). Reviewer: Saeed Salehí (Zanjan) MSC: 68Q70 08A70 PDF BibTeX XML Cite \textit{M. Steinby}, NATO Sci. Ser. II, Math. Phys. Chem. 207, 381--432 (2005; Zbl 1092.68060) OpenURL
Dassow, Jürgen Completeness of automaton mappings with respect to equivalence relations. (English) Zbl 1092.68057 Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 77-108 (2005). Reviewer: Saeed Salehí (Turku) MSC: 68Q70 PDF BibTeX XML Cite \textit{J. Dassow}, NATO Sci. Ser. II, Math. Phys. Chem. 207, 77--108 (2005; Zbl 1092.68057) OpenURL
Negri, Sara Proof analysis in modal logic. (English) Zbl 1086.03045 J. Philos. Log. 34, No. 5-6, 507-544 (2005). Reviewer: Saeed Salehí (Turku) MSC: 03F05 03B45 PDF BibTeX XML Cite \textit{S. Negri}, J. Philos. Log. 34, No. 5--6, 507--544 (2005; Zbl 1086.03045) Full Text: DOI OpenURL
Beklemishev, Lev D.; Visser, Albert On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories. (English) Zbl 1087.03037 Ann. Pure Appl. Logic 136, No. 1-2, 56-74 (2005). Reviewer: Saeed Salehí (Turku) MSC: 03F30 03F45 03F15 PDF BibTeX XML Cite \textit{L. D. Beklemishev} and \textit{A. Visser}, Ann. Pure Appl. Logic 136, No. 1--2, 56--74 (2005; Zbl 1087.03037) Full Text: DOI OpenURL
D’Aquino, Paola Weak fragments of Peano arithmetic. (English) Zbl 1084.03046 Cholak, Peter (ed.), The Notre Dame lectures. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-249-3/hbk; 1-56881-250-7/pbk). Lecture Notes in Logic 18, 149-185 (2005). Reviewer: Saeed Salehí (Turku) MSC: 03F30 03-02 PDF BibTeX XML Cite \textit{P. D'Aquino}, Lect. Notes Log. 18, 149--185 (2005; Zbl 1084.03046) OpenURL
Crabbé, Marcel On the notion of substitution. (English) Zbl 1060.03032 Log. J. IGPL 12, No. 2, 111-124 (2004). Reviewer: Saeed Salehí (Turku) MSC: 03B40 03B70 PDF BibTeX XML Cite \textit{M. Crabbé}, Log. J. IGPL 12, No. 2, 111--124 (2004; Zbl 1060.03032) Full Text: DOI Link OpenURL
Baillot, Patrick Stratified coherence spaces: A denotational semantics for light linear logic. (English) Zbl 1051.03050 Theor. Comput. Sci. 318, No. 1-2, 29-55 (2004). Reviewer: Saeed Salehí (Turku) MSC: 03F52 PDF BibTeX XML Cite \textit{P. Baillot}, Theor. Comput. Sci. 318, No. 1--2, 29--55 (2004; Zbl 1051.03050) Full Text: DOI OpenURL