×

Beklemishev, Lev D.

Author ID: beklemishev.lev-d Recent zbMATH articles by "Beklemishev, Lev D."
Published as: Beklemishev, L. D.; Beklemishev, Lev D.; Beklemishev, Lev; Beklemishev, L.
External Links: MGP · ORCID · Wikidata · GND · IdRef
all top 5

Co-Authors

46 single-authored
5 Semënov, Alekseĭ L’vovich
4 Lysenok, Igor’ Geront’evich
3 Bukhshtaber, Viktor Matveevich
3 De Queiroz, Ruy José Guerra Barretto
3 Goncharov, Sergeĭ Savost’yanovich
3 Matiyasevich, Yuriĭ Vladimirovich
3 Novikov, Sergeĭ Petrovich
3 Pentus, Mati
3 Razborov, Aleksandr Aleksandrovich
3 Visser, Albert
2 Adyan, Sergeĭ Ivanovich
2 Artemov, Sergei
2 Atabekyan, Varuzhan S.
2 Bezhanishvili, Guram
2 Ershov, Yuriĭ Leonidovich
2 Gabelaia, David
2 Guba, Victor S.
2 Joosten, Joost J.
2 Kozlov, Valeriĭ Vasil’evich
2 Mal’tsev, Arkadiĭ Anatol’evich
2 Osipov, Yuriĭ Sergeevich
2 Parshin, Alekseĭ Nikolaevich
2 Sadovnichiĭ, Viktor Antonovich
2 Scedrov, Andre
2 Shen’, A. Kh.
2 Treshchev, Dmitriĭ Valer’evich
1 Abraham, Uri
1 Alexandrov, Victor A.
1 Andreev, Nikolaĭ Nikolaevich
1 Berger, Gerald
1 Blass, Andreas Raphael
1 Borkin, L. Ya.
1 Dantsin, Evgeny
1 D’Aquino, Paola
1 Demri, Stéphane P.
1 Dershowitz, Nachum
1 Dmitrieva, Anna
1 Dolbilin, Nikolaĭ Petrovich
1 Erokhovets, Nikolaĭ Yur’evich
1 Fernández Duque, David
1 Finkbeiner, Bernd
1 Flaminio, Tommaso
1 Gaifullin, Alexander A.
1 Goranko, Valentin F.
1 Gurevich, Yuri
1 Hirsch, Edward A.
1 Ibragimov, Il’dar Abdullovich
1 Icard, Thomas F. III
1 Kalmens, E. V.
1 Kolesnikov, Pavel Sergeevich
1 Kolmakov, Evgeny A.
1 Koubenski, D. A.
1 Kovalëv, Mikhail Dmitrievich
1 Kreinovich, Vladik Yakovlevich
1 Lodkin, A. A.
1 Makarov, V. S.
1 Makowsky, Johann-Andreas
1 Máté, András
1 Mazurov, Viktor Danilovich
1 Morozov, Andreĭ Sergeevich
1 Mundici, Daniele
1 Musatov, Daniil
1 Novikov, B. A.
1 Onoprienko, Anastasiya A.
1 Orevkov, V. P.
1 Orlov, Dmitri O.
1
1 Pakhomov, Fedor N.
1 Plungyan, V. A.
1 Podol’skiĭ, Vladimir Vladimirovich
1 Puzarenko, Vadim G.
1 Rakhilina, E. V.
1 Rastsvetaev, A. L.
1 Sabitov, Idzhad Khakovich
1 Schulte, Wolfram
1 Schwidefsky, Marina V.
1 Shamkanov, Daniyar S.
1 Shchepin, Evgeniĭ Vital’evich
1 Shehtman, Valentin B.
1 Sheĭnman, Oleg Karlovich
1 Shevrin, Lev Naumovich
1 Slissenko, A. O.
1 Talambutsa, Alexey L.
1 Tatevosov, S. G.
1 Tikhomirov, Vladimir Mikhaĭlovich
1 Tompits, Hans
1 Tressl, Marcus
1 Vasil’ev, Andreĭ Viktorovich
1 Vdovin, Evgeniĭ Petrovich
1 Venema, Yde
1 Vereshchagin, Nikolay K.
1 Vershik, Anatoliĭ Moiseevich
1 Vervoort, Marco Robert
1 Vesnin, Andrei Yu.

Publications by Year

Citations contained in zbMATH Open

53 Publications have been cited 422 times in 163 Documents Cited by Year
Reflection schemes and provability algebras in formal arithmetic. Zbl 1097.03054
Beklemishev, L. D.
44
2005
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
38
2004
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041
Beklemishev, L. D.
34
2003
Induction rules, reflection principles, and provably recursive functions. Zbl 0882.03055
Beklemishev, Lev D.
23
1997
Parameter free induction and provably total computable functions. Zbl 0930.03082
Beklemishev, Lev D.
16
1999
Iterated local reflection versus iterated consistency. Zbl 0848.03031
Beklemishev, Lev
15
1995
On provability logics with linearly ordered modalities. Zbl 1322.03042
Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J.
14
2014
Topological completeness of the provability logic GLP. Zbl 1320.03088
Beklemishev, Lev; Gabelaia, David
14
2013
Kripke semantics for provability logic GLP. Zbl 1223.03046
Beklemishev, Lev D.
13
2010
A proof-theoretic analysis of collection. Zbl 0916.03038
Beklemishev, Lev D.
13
1998
The worm principle. Zbl 1108.03055
Beklemishev, Lev D.
13
2006
Positive provability logic for uniform reflection principles. Zbl 1322.03041
Beklemishev, Lev
13
2014
A finitary treatment of the closed fragment of Japaridze’s provability logic. Zbl 1080.03038
Beklemishev, Lev D.; Joosten, Joost J.; Vervoort, Marco
12
2005
Veblen hierarchy in the context of provability algebras. Zbl 1105.03062
Beklemishev, Lev D.
12
2005
Topological interpretations of provability logic. Zbl 1352.03070
Beklemishev, Lev; Gabelaia, David
11
2014
On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories. Zbl 1087.03037
Beklemishev, Lev D.; Visser, Albert
10
2005
Calibrating provability logic: from modal logic to reflection calculus. Zbl 1331.03040
Beklemishev, Lev
10
2012
On topological models of GLP. Zbl 1223.03047
Beklemishev, Lev; Bezhanishvili, Guram; Icard, Thomas
8
2010
On the induction schema for decidable predicates. Zbl 1041.03042
Beklemishev, Lev D.
7
2003
Problems in the logic of provability. Zbl 1100.03051
Beklemishev, Lev; Visser, Albert
7
2006
Provability logics for natural Turing progressions of arithmetical theories. Zbl 0728.03017
Beklemishev, L. D.
7
1991
A simplified proof of arithmetical completeness theorem for provability logic GLP. Zbl 1294.03038
Beklemishev, L. D.
7
2011
A note on strictly positive logics and word rewriting systems. Zbl 1429.03077
Beklemishev, Lev
6
2018
Ordinal completeness of bimodal provability logic GLB. Zbl 1341.03090
Beklemishev, Lev
5
2011
Gödel incompleteness theorems and the limits of their applicability. I. Zbl 1213.03071
Beklemishev, L. D.
5
2010
On propositional quantifiers in provability logic. Zbl 0805.03009
Artemov, Sergej N.; Beklemishev, Lev D.
5
1993
On the reflection calculus with partial conservativity operators. Zbl 1496.03246
Beklemishev, Lev D.
5
2017
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\). Zbl 1505.03132
Beklemishev, Lev D.
4
2018
On the classification of propositional provability logics. Zbl 0704.03005
Beklemishev, L. D.
4
1990
On bimodal logics of provability. Zbl 0814.03010
Beklemishev, Lev D.
4
1994
Reflection calculus and conservativity spectra. Zbl 1522.03326
Beklemishev, L. D.
4
2018
Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986
Beklemishev, Lev D.; Pakhomov, Fedor N.
4
2022
Parameter free induction and reflection. Zbl 0892.03023
Beklemishev, Lev D.
3
1997
On the reduction property for GLP-algebras. Zbl 1379.03020
Beklemishev, L. D.
3
2017
On the Craig interpolation and the fixed point properties for GLP. Zbl 1229.03049
Beklemishev, Lev D.
2
2010
Bimodal logics for extensions of arithmetical theories. Zbl 0858.03024
Beklemishev, Lev D.
2
1996
Proof theoretic analysis by iterated reflection. Zbl 1402.03079
Beklemishev, L. D.
2
2015
Quantifier-free induction schema and the least element principle. Zbl 1079.03049
Beklemishev, L. D.
2
2003
Independent numerations of theories and recursive progressions. Zbl 0787.03054
Beklemishev, L. D.
2
1992
On some slowly terminating term rewriting systems. Zbl 1334.68110
Beklemishev, L. D.; Onoprienko, A. A.
2
2015
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
2
2015
On the query complexity of finding a local maximum point. Zbl 1042.68054
Rastsvetaev, A. L.; Beklemishev, L. D.
2
2002
Axiomatization of provable \(n\)-provability. Zbl 1444.03165
Kolmakov, Evgeny; Beklemishev, Lev
2
2019
Propositional primal logic with disjunction. Zbl 1327.03023
Beklemishev, Lev; Gurevich, Yuri
2
2014
Normalization of conclusions and interpolation for some logics of provability. Zbl 0644.03028
Beklemishev, L. D.
1
1987
Sergei Ivanovich Adian (on his 75th birthday). Zbl 1147.01312
Beklemishev, L. D.; Lysenok, I. G.; Mal’tsev, A. A.; et al.
1
2006
Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. Zbl 1235.03004
1
2010
Open least element principle and bounded query computation. Zbl 0942.03060
Beklemishev, L. D.
1
1999
Another pathological well-ordering. Zbl 0943.03045
Beklemishev, L.
1
2000
Provability, complexity, grammars. Three doctoral dissertations translated from the Russian. Zbl 0914.00019
Beklemishev, Lev; Pentus, Mati; Vereshchagin, Nikolai
1
1999
On the complexity of arithmetical interpretations of modal formulae. Zbl 0802.03011
Beklemishev, Lev D.
1
1993
Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). Zbl 0855.03038
Beklemishev, Lev
1
1996
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175
Beklemishev, Lev; Shamkanov, Daniyar
1
2016
Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986
Beklemishev, Lev D.; Pakhomov, Fedor N.
4
2022
Axiomatization of provable \(n\)-provability. Zbl 1444.03165
Kolmakov, Evgeny; Beklemishev, Lev
2
2019
A note on strictly positive logics and word rewriting systems. Zbl 1429.03077
Beklemishev, Lev
6
2018
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\). Zbl 1505.03132
Beklemishev, Lev D.
4
2018
Reflection calculus and conservativity spectra. Zbl 1522.03326
Beklemishev, L. D.
4
2018
On the reflection calculus with partial conservativity operators. Zbl 1496.03246
Beklemishev, Lev D.
5
2017
On the reduction property for GLP-algebras. Zbl 1379.03020
Beklemishev, L. D.
3
2017
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175
Beklemishev, Lev; Shamkanov, Daniyar
1
2016
Proof theoretic analysis by iterated reflection. Zbl 1402.03079
Beklemishev, L. D.
2
2015
On some slowly terminating term rewriting systems. Zbl 1334.68110
Beklemishev, L. D.; Onoprienko, A. A.
2
2015
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
2
2015
On provability logics with linearly ordered modalities. Zbl 1322.03042
Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J.
14
2014
Positive provability logic for uniform reflection principles. Zbl 1322.03041
Beklemishev, Lev
13
2014
Topological interpretations of provability logic. Zbl 1352.03070
Beklemishev, Lev; Gabelaia, David
11
2014
Propositional primal logic with disjunction. Zbl 1327.03023
Beklemishev, Lev; Gurevich, Yuri
2
2014
Topological completeness of the provability logic GLP. Zbl 1320.03088
Beklemishev, Lev; Gabelaia, David
14
2013
Calibrating provability logic: from modal logic to reflection calculus. Zbl 1331.03040
Beklemishev, Lev
10
2012
A simplified proof of arithmetical completeness theorem for provability logic GLP. Zbl 1294.03038
Beklemishev, L. D.
7
2011
Ordinal completeness of bimodal provability logic GLB. Zbl 1341.03090
Beklemishev, Lev
5
2011
Kripke semantics for provability logic GLP. Zbl 1223.03046
Beklemishev, Lev D.
13
2010
On topological models of GLP. Zbl 1223.03047
Beklemishev, Lev; Bezhanishvili, Guram; Icard, Thomas
8
2010
Gödel incompleteness theorems and the limits of their applicability. I. Zbl 1213.03071
Beklemishev, L. D.
5
2010
On the Craig interpolation and the fixed point properties for GLP. Zbl 1229.03049
Beklemishev, Lev D.
2
2010
Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. Zbl 1235.03004
1
2010
The worm principle. Zbl 1108.03055
Beklemishev, Lev D.
13
2006
Problems in the logic of provability. Zbl 1100.03051
Beklemishev, Lev; Visser, Albert
7
2006
Sergei Ivanovich Adian (on his 75th birthday). Zbl 1147.01312
Beklemishev, L. D.; Lysenok, I. G.; Mal’tsev, A. A.; et al.
1
2006
Reflection schemes and provability algebras in formal arithmetic. Zbl 1097.03054
Beklemishev, L. D.
44
2005
A finitary treatment of the closed fragment of Japaridze’s provability logic. Zbl 1080.03038
Beklemishev, Lev D.; Joosten, Joost J.; Vervoort, Marco
12
2005
Veblen hierarchy in the context of provability algebras. Zbl 1105.03062
Beklemishev, Lev D.
12
2005
On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories. Zbl 1087.03037
Beklemishev, Lev D.; Visser, Albert
10
2005
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
38
2004
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041
Beklemishev, L. D.
34
2003
On the induction schema for decidable predicates. Zbl 1041.03042
Beklemishev, Lev D.
7
2003
Quantifier-free induction schema and the least element principle. Zbl 1079.03049
Beklemishev, L. D.
2
2003
On the query complexity of finding a local maximum point. Zbl 1042.68054
Rastsvetaev, A. L.; Beklemishev, L. D.
2
2002
Another pathological well-ordering. Zbl 0943.03045
Beklemishev, L.
1
2000
Parameter free induction and provably total computable functions. Zbl 0930.03082
Beklemishev, Lev D.
16
1999
Open least element principle and bounded query computation. Zbl 0942.03060
Beklemishev, L. D.
1
1999
Provability, complexity, grammars. Three doctoral dissertations translated from the Russian. Zbl 0914.00019
Beklemishev, Lev; Pentus, Mati; Vereshchagin, Nikolai
1
1999
A proof-theoretic analysis of collection. Zbl 0916.03038
Beklemishev, Lev D.
13
1998
Induction rules, reflection principles, and provably recursive functions. Zbl 0882.03055
Beklemishev, Lev D.
23
1997
Parameter free induction and reflection. Zbl 0892.03023
Beklemishev, Lev D.
3
1997
Bimodal logics for extensions of arithmetical theories. Zbl 0858.03024
Beklemishev, Lev D.
2
1996
Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). Zbl 0855.03038
Beklemishev, Lev
1
1996
Iterated local reflection versus iterated consistency. Zbl 0848.03031
Beklemishev, Lev
15
1995
On bimodal logics of provability. Zbl 0814.03010
Beklemishev, Lev D.
4
1994
On propositional quantifiers in provability logic. Zbl 0805.03009
Artemov, Sergej N.; Beklemishev, Lev D.
5
1993
On the complexity of arithmetical interpretations of modal formulae. Zbl 0802.03011
Beklemishev, Lev D.
1
1993
Independent numerations of theories and recursive progressions. Zbl 0787.03054
Beklemishev, L. D.
2
1992
Provability logics for natural Turing progressions of arithmetical theories. Zbl 0728.03017
Beklemishev, L. D.
7
1991
On the classification of propositional provability logics. Zbl 0704.03005
Beklemishev, L. D.
4
1990
Normalization of conclusions and interpolation for some logics of provability. Zbl 0644.03028
Beklemishev, L. D.
1
1987
all top 5

Cited by 134 Authors

27 Beklemishev, Lev D.
15 Joosten, Joost J.
12 Visser, Albert
11 Fernández Duque, David
8 Pakhomov, Fedor N.
6 Cordón-Franco, Andrés
6 Lara-Martín, Francisco Felix
5 Freund, Anton
4 Kurahashi, Taishi
3 Aguilera, Juan Pablo
3 Enayat, Ali
3 Fernández Margarit, Alejandro
2 Bagaria, Joan
2 Blanck, Rasmus
2 Cheng, Yong
2 Cornaros, Charalampos
2 Fujimoto, Kentaro
2 Heck, Richard Kimberly
2 Hermo Reyes, Eduardo
2 Hetzl, Stefan
2 Kolmakov, Evgeny A.
2 Kołodziejczyk, Leszek Aleksander
2 Łełyk, Mateusz Zbigniew
2 Litak, Tadeusz
2 Mojtahedi, Mojtaba
2 Nicolai, Carlo
2 Salehi, Saeed
2 Sato, Kentaro
2 Shamkanov, Daniyar S.
2 Shavrukov, V. Yu.
2 Svyatlovskii, Mikhail V.
2 Vierling, Jannik
2 Yokoyama, Keita
1 Arai, Toshiyasu
1 Ardeshir, Mohammad
1 Artemov, Sergei
1 Atabekyan, Varuzhan S.
1 Avigad, Jeremy
1 Baaz, Matthias
1 Baltag, Alexandru
1 Basold, Henning
1 Bednarczyk, Bartosz
1 Bezhanishvili, Guram
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Brickhill, Hazel
1 Brogi, Cosimo Perini
1 Buldt, Bernd
1 Bydžovský, Jan
1 Cieśliński, Cezary
1 Cody, Brent M.
1 Courcelle, Bruno
1 Dashkov, E. V.
1 de Almeida Borges, Ana
1 de Jongh, Dick H. J.
1 de Vos, Mirjam
1 Dean, Walter
1 Demri, Stéphane P.
1 Erickson, Jeff
1 Flaminio, Tommaso
1 Fleischer, Rudolf
1 Franzén, Torkel
1 Frittaion, Emanuele
1 Gabelaia, David
1 Gitman, Victoria
1 Goris, Evan
1 Guba, Victor S.
1 Halbach, Volker
1 Halimi, Brice
1 Hassin, Refael
1 Holliday, Wesley H.
1 Icard, Thomas F. III
1 Jeřábek, Emil
1 Kahle, Reinhard
1 Kentaro, Sato
1 Kikot, Stanislav
1 Kikuchi, Makoto
1 Kobayashi, Naoki
1 Kohlenbach, Ulrich Wilhelm
1 Komara, Ján
1 Kooi, Barteld Pieter
1 Kowalik, Katarzyna W.
1 Kupke, Clemens
1 Kurokawa, Hidenori
1 Kurucz, Agi
1 Kuusisto, Antti
1 Lambie-Hanson, Chris
1 Lee, Gyesik
1 Lucero-Bryan, Joel Gregory
1 Lutz, Patrick
1 Lysenok, Igor’ Geront’evich
1 Maggesi, Marco
1 Magidor, Menachem
1 Magirius, Marco
1 Matsushita, Yusuke
1 Mityagin, Anton
1 Montalbán, Antonio
1 Moraschini, Tommaso
1 Moser, Georg
1 Mundhenk, Martin
...and 34 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.