×

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.; Beklemishev, L. D.; Beklemishev, Lev; Beklemishev, Lev D.
External Links: MGP · Wikidata · ORCID
Documents Indexed: 74 Publications since 1987, including 7 Books
all top 5

Co-Authors

43 single-authored
3 de Queiroz, Ruy
3 Visser, Albert
2 Adyan, Sergeĭ Ivanovich
2 Bezhanishvili, Guram
2 Bukhshtaber, Viktor Matveevich
2 Gabelaia, David
2 Goncharov, Sergeĭ Savost’yanovich
2 Joosten, Joost J.
2 Lysenok, Igor’ Geront’evich
2 Mal’tsev, Arkadiĭ Anatol’evich
2 Matiyasevich, Yuriĭ Vladimirovich
2 Novikov, Sergeĭ Petrovich
2 Parshin, Alexei N.
2 Pentus, Mati
2 Scedrov, Andre
2 Semenov, Alexei Lvovich
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 Ershov, Yuriĭ Leonidovich
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 Kozlov, Valeriĭ Vasil’evich
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 Osipov, Yuriĭ Sergeevich
1 Plungyan, V. A.
1 Puzarenko, Vadim G.
1 Rakhilina, E. V.
1 Rastsvetaev, A. L.
1 Razborov, Aleksandr Aleksandrovich
1 Sabitov, Idzhad Khakovich
1 Sadovnichiĭ, Viktor Antonovich
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 Tatevosov, S. G.
1 Tikhomirov, Vladimir Mikhaĭlovich
1 Treshchev, Dmitriĭ Valer’evich
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

46 Publications have been cited 292 times in 115 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.
27
2003
Reflection schemes and provability algebras in formal arithmetic. Zbl 1097.03054
Beklemishev, L. D.
25
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
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
A proof-theoretic analysis of collection. Zbl 0916.03038
Beklemishev, Lev D.
11
1998
On provability logics with linearly ordered modalities. Zbl 1322.03042
Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J.
10
2014
Topological completeness of the provability logic GLP. Zbl 1320.03088
Beklemishev, Lev; Gabelaia, David
8
2013
The worm principle. Zbl 1108.03055
Beklemishev, Lev D.
8
2006
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
Topological interpretations of provability logic. Zbl 1352.03070
Beklemishev, Lev; Gabelaia, David
7
2014
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
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 topological models of GLP. Zbl 1223.03047
Beklemishev, Lev; Bezhanishvili, Guram; Icard, Thomas
6
2010
On the induction schema for decidable predicates. Zbl 1041.03042
Beklemishev, Lev D.
6
2003
Provability logics for natural Turing progressions of arithmetical theories. Zbl 0728.03017
Beklemishev, L. D.
6
1991
On propositional quantifiers in provability logic. Zbl 0805.03009
Artemov, Sergej N.; Beklemishev, Lev D.
5
1993
Problems in the logic of provability. Zbl 1100.03051
Beklemishev, Lev; Visser, Albert
4
2006
On the reflection calculus with partial conservativity operators. Zbl 06820460
Beklemishev, Lev D.
3
2017
Ordinal completeness of bimodal provability logic GLB. Zbl 1341.03090
Beklemishev, Lev
3
2011
Bimodal logics for extensions of arithmetical theories. Zbl 0858.03024
Beklemishev, Lev D.
3
1996
On bimodal logics of provability. Zbl 0814.03010
Beklemishev, Lev D.
3
1994
A note on strictly positive logics and word rewriting systems. Zbl 1429.03077
Beklemishev, Lev
2
2018
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\). Zbl 06856640
Beklemishev, Lev D.
2
2018
On the reduction property for GLP-algebras. Zbl 1379.03020
Beklemishev, L. D.
2
2017
On some slowly terminating term rewriting systems. Zbl 1334.68110
Beklemishev, L. D.; Onoprienko, A. A.
2
2015
Propositional primal logic with disjunction. Zbl 1327.03023
Beklemishev, Lev; Gurevich, Yuri
2
2014
On the Craig interpolation and the fixed point properties for GLP. Zbl 1229.03049
Beklemishev, Lev D.
2
2010
Gödel incompleteness theorems and the limits of their applicability. I. Zbl 1213.03071
Beklemishev, L. D.
2
2010
On the query complexity of finding a local maximum point. Zbl 1042.68054
Rastsvetaev, A. L.; Beklemishev, L. D.
2
2002
Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). Zbl 0855.03038
Beklemishev, Lev
2
1996
Independent numerations of theories and recursive progressions. Zbl 0787.03054
Beklemishev, L. D.
2
1992
Axiomatization of provable \(n\)-provability. Zbl 1444.03165
Kolmakov, Evgeny; Beklemishev, Lev
1
2019
Proof theoretic analysis by iterated reflection. Zbl 1402.03079
Beklemishev, L. D.
1
2015
Quantifier-free induction schema and the least element principle. Zbl 1079.03049
Beklemishev, L. D.
1
2003
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
Parameter free induction and reflection. Zbl 0892.03023
Beklemishev, Lev D.
1
1997
On the complexity of arithmetical interpretations of modal formulae. Zbl 0802.03011
Beklemishev, Lev D.
1
1993
On the classification of propositional provability logics. Zbl 0704.03005
Beklemishev, L. D.
1
1990
Normalization of conclusions and interpolation for some logics of provability. Zbl 0644.03028
Beklemishev, L. D.
1
1987
Axiomatization of provable \(n\)-provability. Zbl 1444.03165
Kolmakov, Evgeny; Beklemishev, Lev
1
2019
A note on strictly positive logics and word rewriting systems. Zbl 1429.03077
Beklemishev, Lev
2
2018
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\). Zbl 06856640
Beklemishev, Lev D.
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
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
On provability logics with linearly ordered modalities. Zbl 1322.03042
Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J.
10
2014
Topological interpretations of provability logic. Zbl 1352.03070
Beklemishev, Lev; Gabelaia, David
7
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
On the Craig interpolation and the fixed point properties for GLP. Zbl 1229.03049
Beklemishev, Lev D.
2
2010
Gödel incompleteness theorems and the limits of their applicability. I. Zbl 1213.03071
Beklemishev, L. D.
2
2010
The worm principle. Zbl 1108.03055
Beklemishev, Lev D.
8
2006
Problems in the logic of provability. Zbl 1100.03051
Beklemishev, Lev; Visser, Albert
4
2006
Reflection schemes and provability algebras in formal arithmetic. Zbl 1097.03054
Beklemishev, L. D.
25
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.
27
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
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.
11
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.
3
1996
Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). Zbl 0855.03038
Beklemishev, Lev
2
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.
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.
6
1991
On the classification of propositional provability logics. Zbl 0704.03005
Beklemishev, L. D.
1
1990
Normalization of conclusions and interpolation for some logics of provability. Zbl 0644.03028
Beklemishev, L. D.
1
1987
all top 5

Cited by 96 Authors

23 Beklemishev, Lev D.
12 Joosten, Joost J.
10 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 Enayat, Ali
2 Fujimoto, Kentaro
2 Heck, Richard Kimberly
2 Kolmakov, Evgeny
2 Litak, Tadeusz
2 Sato, Kentaro
2 Shavrukov, V. Yu.
2 Walsh, James A.
1 Aguilera, Juan Pablo
1 Arai, Toshiyasu
1 Ardeshir, Mohammad
1 Artemov, Sergei
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 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 Goris, Evan
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 Kolmakov, E. A.
1 Kołodziejczyk, Leszek Aleksander
1 Komara, Ján
1 Kurokawa, Hidenori
1 Kurucz, Agi
1 Kuusisto, Antti
1 Lee, Gyesik
1 Lucero-Bryan, Joel Gregory
1 Lutz, Patrick
1 Magidor, Menachem
1 Magirius, Marco
1 Mityagin, Anton
1 Mojtahedi, Mojtaba
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 Ramanujam, Rohit Sunkam
1 Rasga, João
1 Rastsvetaev, A. L.
1 Rathjen, Michael
1 Rossi, Lorenzo Paolo
1 Sakai, Hiroshi
1 Salehi, Saeed
1 Sarid, Anna
1 Seraji, Payam
1 Sernadas, Amlcar
1 Sernadas, Cristina S.
1 Shafer, Paul
1 Shamkanov, Daniyar S.
1 Smets, Sonja J. L.
1 Steila, Silvia
1 Sundararajan, Vaishnavi
1 Suresh, S. P.
1 Svyatlovskii, Mikhail V.
1 Tanaka, Yoshihito
1 Walsh, James J.
1 Weiermann, Andreas
1 Wolter, Frank
1 Wong, Tin Lok
1 Yokoyama, Keita
1 Zakharyaschev, Michael Viktorovich

Citations by Year

Wikidata Timeline