×

zbMATH — the first resource for mathematics

Beklemishev, Lev D.

Compute Distance To:
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
Documents Indexed: 76 Publications since 1987, including 7 Books
all top 5

Co-Authors

43 single-authored
4 Lysenok, Igor’ Geront’evich
4 Semënov, Alekseĭ L’vovich
3 Bukhshtaber, Viktor Matveevich
3 Goncharov, Sergeĭ Savost’yanovich
3 Novikov, Sergeĭ Petrovich
3 Pentus, Mati
3 Razborov, Aleksandr Aleksandrovich
3 Visser, Albert
2 Adyan, Sergeĭ Ivanovich
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 Matiyasevich, Yuriĭ Vladimirovich
2 Osipov, Yuriĭ Sergeevich
2 Parshin, Alexei N.
2 Sadovnichiĭ, Viktor Antonovich
2 Scedrov, Andre
2 Treshchev, Dmitriĭ Valer’evich
1 Abraham, Uri
1 Alexandrov, Victor A.
1 Andreev, N. N.
1 Artemov, Sergei
1 Blass, Andreas Raphael
1 D’Aquino, Paola
1 Demri, Stéphane P.
1 Dershowitz, Nachum
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 Icard, Thomas F. III
1 Kolesnikov, Pavel Sergeevich
1 Kolmakov, E. A.
1 Kolmakov, Evgeny
1 Kovalev, Mikhail D.
1 Makarov, V. S.
1 Máté, András
1 Mazurov, Viktor Danilovich
1 Morozov, Andreĭ Sergeevich
1 Mundici, Daniele
1 Musatov, Daniil
1 Onoprienko, Anastasiya A.
1 Orlov, Dmitri O.
1
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, Evgenij V.
1 Shehtman, Valentin B.
1 Sheĭnman, Oleg Karlovich
1 Shen’, A. Kh.
1 Shevrin, Lev Naumovich
1 Talambutsa, A. L.
1 Tatevosov, S. G.
1 Tikhomirov, Vladimir Mikhaĭlovich
1 Tressl, Marcus
1 Vasil’ev, Andreĭ Viktorovich
1 Vdovin, Evgeniĭ Petrovich
1 Venema, Yde
1 Vereshchagin, Nikolai K.
1 Vervoort, Marco Robert
1 Vesnin, Andrei Yu.

Publications by Year

Citations contained in zbMATH Open

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

Cited by 102 Authors

24 Beklemishev, Lev D.
12 Joosten, Joost J.
11 Visser, Albert
9 Fernández Duque, David
5 Cordón-Franco, Andrés
5 Lara-Martín, Francisco Felix
4 Freund, Anton
4 Pakhomov, Fedor N.
3 Fernández Margarit, Alejandro
3 Kurahashi, Taishi
2 Bagaria, Joan
2 Cheng, Yong
2 Enayat, Ali
2 Fujimoto, Kentaro
2 Heck, Richard Kimberly
2 Kolmakov, E. A.
2 Kolmakov, Evgeny
2 Litak, Tadeusz
2 Mojtahedi, Mojtaba
2 Sato, Kentaro
2 Shamkanov, Daniyar S.
2 Shavrukov, V. Yu.
1 Aguilera, Juan Pablo
1 Arai, Toshiyasu
1 Ardeshir, Mohammad
1 Artemov, Sergei
1 Atabekyan, Varuzhan S.
1 Avigad, Jeremy
1 Baltag, Alexandru
1 Bezhanishvili, Guram
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Blanck, Rasmus
1 Buldt, Bernd
1 Cieśliński, Cezary
1 Cody, Brent M.
1 Cornaros, Charalampos
1 Dashkov, E. V.
1 de Jongh, Dick H. J.
1 Dean, Walter
1 Flaminio, Tommaso
1 Fleischer, Rudolf
1 Franzén, Torkel
1 Gitman, Victoria
1 Goris, Evan
1 Guba, Victor S.
1 Halbach, Volker
1 Hassin, Refael
1 Hermo reyes, Eduardo
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 Kohlenbach, Ulrich Wilhelm
1 Kołodziejczyk, Leszek Aleksander
1 Komara, Ján
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 Magidor, Menachem
1 Magirius, Marco
1 Mityagin, Anton
1 Montalbán, Antonio
1 Moraschini, Tommaso
1 Moser, Georg
1 Mundhenk, Martin
1 Nicolai, Carlo
1 Onoprienko, Anastasiya A.
1 Özgün, Aybüke
1 Palenta, Raphaela
1 Rasga, João
1 Rastsvetaev, A. L.
1 Rathjen, Michael
1 Razborov, Aleksandr Aleksandrovich
1 Rossi, Lorenzo Paolo
1 Sakai, Hiroshi
1 Salehi, Saeed
1 Sarid, Anna
1 Semënov, Alekseĭ L’vovich
1 Seraji, Payam
1 Sernadas, Amlcar
1 Sernadas, Cristina S.
1 Shafer, Paul
1 Smets, Sonja J. L.
1 Steila, Silvia
1 Sundararajan, Vaishnavi
1 Suresh, S. P.
1 Svyatlovskii, Mikhail V.
1 Tanaka, Yoshihito
1 Weiermann, Andreas
1 Wolter, Frank
1 Wong, Tin Lok
...and 2 more Authors

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.