×

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 · GND · IdRef
all top 5

Co-Authors

44 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, Nikolay N.
1 Artemov, Sergei
1 Berger, Gerald
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 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, Evgenij V.
1 Shehtman, Valentin B.
1 Sheĭnman, Oleg Karlovich
1 Shen’, A. Kh.
1 Shevrin, Lev Naumovich
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 Vervoort, Marco Robert
1 Vesnin, Andrei Yu.

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 355 times in 138 Documents Cited by Year
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
34
2004
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041
Beklemishev, L. D.
32
2003
Reflection schemes and provability algebras in formal arithmetic. Zbl 1097.03054
Beklemishev, L. D.
32
2005
Induction rules, reflection principles, and provably recursive functions. Zbl 0882.03055
Beklemishev, Lev D.
20
1997
Parameter free induction and provably total computable functions. Zbl 0930.03082
Beklemishev, Lev D.
14
1999
Iterated local reflection versus iterated consistency. Zbl 0848.03031
Beklemishev, Lev
13
1995
On provability logics with linearly ordered modalities. Zbl 1322.03042
Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J.
13
2014
A proof-theoretic analysis of collection. Zbl 0916.03038
Beklemishev, Lev D.
12
1998
Kripke semantics for provability logic GLP. Zbl 1223.03046
Beklemishev, Lev D.
11
2010
Positive provability logic for uniform reflection principles. Zbl 1322.03041
Beklemishev, Lev
11
2014
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
Veblen hierarchy in the context of provability algebras. Zbl 1105.03062
Beklemishev, Lev D.
10
2005
The worm principle. Zbl 1108.03055
Beklemishev, Lev D.
10
2006
Topological completeness of the provability logic GLP. Zbl 1320.03088
Beklemishev, Lev; Gabelaia, David
10
2013
Topological interpretations of provability logic. Zbl 1352.03070
Beklemishev, Lev; Gabelaia, David
9
2014
Calibrating provability logic: from modal logic to reflection calculus. Zbl 1331.03040
Beklemishev, Lev
9
2012
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
On the induction schema for decidable predicates. Zbl 1041.03042
Beklemishev, Lev D.
6
2003
A simplified proof of arithmetical completeness theorem for provability logic GLP. Zbl 1294.03038
Beklemishev, L. D.
6
2011
Provability logics for natural Turing progressions of arithmetical theories. Zbl 0728.03017
Beklemishev, L. D.
6
1991
On topological models of GLP. Zbl 1223.03047
Beklemishev, Lev; Bezhanishvili, Guram; Icard, Thomas
6
2010
On the reflection calculus with partial conservativity operators. Zbl 1496.03246
Beklemishev, Lev D.
5
2017
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
5
2006
Reflection calculus and conservativity spectra. Zbl 07057822
Beklemishev, L. D.
4
2018
A note on strictly positive logics and word rewriting systems. Zbl 1429.03077
Beklemishev, Lev
4
2018
Gödel incompleteness theorems and the limits of their applicability. I. Zbl 1213.03071
Beklemishev, L. D.
4
2010
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\). Zbl 06856640
Beklemishev, Lev D.
3
2018
On bimodal logics of provability. Zbl 0814.03010
Beklemishev, Lev D.
3
1994
On the classification of propositional provability logics. Zbl 0704.03005
Beklemishev, L. D.
3
1990
Ordinal completeness of bimodal provability logic GLB. Zbl 1341.03090
Beklemishev, Lev
3
2011
Parameter free induction and reflection. Zbl 0892.03023
Beklemishev, Lev D.
3
1997
Axiomatization of provable \(n\)-provability. Zbl 1444.03165
Kolmakov, Evgeny; Beklemishev, Lev
2
2019
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 the query complexity of finding a local maximum point. Zbl 1042.68054
Rastsvetaev, A. L.; Beklemishev, L. D.
2
2002
Propositional primal logic with disjunction. Zbl 1327.03023
Beklemishev, Lev; Gurevich, Yuri
2
2014
Bimodal logics for extensions of arithmetical theories. Zbl 0858.03024
Beklemishev, Lev D.
2
1996
On some slowly terminating term rewriting systems. Zbl 1334.68110
Beklemishev, L. D.; Onoprienko, A. A.
2
2015
On the Craig interpolation and the fixed point properties for GLP. Zbl 1229.03049
Beklemishev, Lev D.
2
2010
On the reduction property for GLP-algebras. Zbl 1379.03020
Beklemishev, L. D.
2
2017
Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986
Beklemishev, Lev D.; Pakhomov, Fedor N.
2
2022
Proof theoretic analysis by iterated reflection. Zbl 1402.03079
Beklemishev, L. D.
1
2015
Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). Zbl 0855.03038
Beklemishev, Lev
1
1996
On the complexity of arithmetical interpretations of modal formulae. Zbl 0802.03011
Beklemishev, Lev D.
1
1993
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
Sergei Ivanovich Adian (on his 75th birthday). Zbl 1147.01312
Beklemishev, L. D.; Lysenok, I. G.; Mal’tsev, A. A.; et al.
1
2006
Provability, complexity, grammars. Three doctoral dissertations translated from the Russian. Zbl 0914.00019
Beklemishev, Lev; Pentus, Mati; Vereshchagin, Nikolai
1
1999
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175
Beklemishev, Lev; Shamkanov, Daniyar
1
2016
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
1
2015
Normalization of conclusions and interpolation for some logics of provability. Zbl 0644.03028
Beklemishev, L. D.
1
1987
Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986
Beklemishev, Lev D.; Pakhomov, Fedor N.
2
2022
Axiomatization of provable \(n\)-provability. Zbl 1444.03165
Kolmakov, Evgeny; Beklemishev, Lev
2
2019
Reflection calculus and conservativity spectra. Zbl 07057822
Beklemishev, L. D.
4
2018
A note on strictly positive logics and word rewriting systems. Zbl 1429.03077
Beklemishev, Lev
4
2018
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\). Zbl 06856640
Beklemishev, Lev D.
3
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.
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
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
1
2015
On provability logics with linearly ordered modalities. Zbl 1322.03042
Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J.
13
2014
Positive provability logic for uniform reflection principles. Zbl 1322.03041
Beklemishev, Lev
11
2014
Topological interpretations of provability logic. Zbl 1352.03070
Beklemishev, Lev; Gabelaia, David
9
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
10
2013
Calibrating provability logic: from modal logic to reflection calculus. Zbl 1331.03040
Beklemishev, Lev
9
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.
10
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.
32
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
Veblen hierarchy in the context of provability algebras. Zbl 1105.03062
Beklemishev, Lev D.
10
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
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
34
2004
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041
Beklemishev, L. D.
32
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.
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.
14
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.
12
1998
Induction rules, reflection principles, and provably recursive functions. Zbl 0882.03055
Beklemishev, Lev D.
20
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
13
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.
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 113 Authors

26 Beklemishev, Lev D.
14 Joosten, Joost J.
11 Fernández Duque, David
11 Visser, Albert
6 Pakhomov, Fedor N.
5 Cordón-Franco, Andrés
5 Lara-Martín, Francisco Felix
4 Freund, Anton
3 Fernández Margarit, Alejandro
3 Kurahashi, Taishi
2 Aguilera, Juan Pablo
2 Bagaria, Joan
2 Blanck, Rasmus
2 Cheng, Yong
2 Enayat, Ali
2 Fujimoto, Kentaro
2 Heck, Richard Kimberly
2 Hermo Reyes, Eduardo
2 Hetzl, Stefan
2 Kolmakov, E. A.
2 Kolmakov, Evgeny
2 Litak, Tadeusz
2 Mojtahedi, Mojtaba
2 Salehi, Saeed
2 Sato, Kentaro
2 Shamkanov, Daniyar S.
2 Shavrukov, V. Yu.
2 Svyatlovskii, Mikhail V.
2 Vierling, Jannik
1 Arai, Toshiyasu
1 Ardeshir, Mohammad
1 Artemov, Sergei
1 Atabekyan, Varuzhan S.
1 Avigad, Jeremy
1 Baaz, Matthias
1 Baltag, Alexandru
1 Bednarczyk, Bartosz
1 Bezhanishvili, Guram
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Buldt, Bernd
1 Bydžovský, Jan
1 Cieśliński, Cezary
1 Cody, Brent M.
1 Cornaros, Charalampos
1 Courcelle, Bruno
1 Dashkov, E. V.
1 de Jongh, Dick H. J.
1 Dean, Walter
1 Demri, Stéphane P.
1 Erickson, Jeff
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 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 Nivasch, Gabriel
1 Onoprienko, Anastasiya A.
1 Özgün, Aybüke
1 Palenta, Raphaela
1 Papafilippou, Konstnatinos
1 Rasga, João
1 Rastsvetaev, A. L.
1 Rathjen, Michael
1 Razborov, Aleksandr Aleksandrovich
1 Rossi, Lorenzo Paolo
1 Sakai, Hiroshi
1 Sarid, Anna
1 Semënov, Alekseĭ L’vovich
1 Seraji, Payam
1 Sernadas, Amilcar C.
...and 13 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.