Lev D. Beklemishev

2005
15	EE	Lev D. Beklemishev, Albert Visser: On the limit existence principles in elementary arithmetic and Sigma n 0-consequences of theories. Ann. Pure Appl. Logic 136(1-2): 56-74 (2005)
14	EE	Sergei I. Adian, Matthias Baaz, Lev D. Beklemishev: Editorial. J. Log. Comput. 15(4): 409 (2005)
13	EE	Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort: A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic. J. Log. Comput. 15(4): 447-463 (2005)
2004
12	EE	Lev D. Beklemishev: Provability algebras and proof-theoretic ordinals, I. Ann. Pure Appl. Logic 128(1-3): 103-123 (2004)
2003
11	EE	Lev D. Beklemishev: Proof-theoretic analysis by iterated reflection. Arch. Math. Log. 42(6): 515-552 (2003)
10		Lev D. Beklemishev: On the induction schema for decidable predicates. J. Symb. Log. 68(1): 17-34 (2003)
2002
9	EE	A. L. Rastsvetaev, Lev D. Beklemishev: On the query complexity of finding a local maximum point. Inf. Process. Lett. 84(6): 327-332 (2002)
1999
8		Lev D. Beklemishev: Open Least Element Principle and Bounded Query Computation. CSL 1999: 389-404
7	EE	Lev D. Beklemishev: Parameter Free Induction and Provably Total Computable Functions. Theor. Comput. Sci. 224(1-2): 13-33 (1999)
1998
6	EE	Lev D. Beklemishev: A proof-theoretic analysis of collection. Arch. Math. Log. 37(5-6): 275-296 (1998)
1997
5		Lev D. Beklemishev: Parameter Free Induction and Reflection. Kurt Gödel Colloquium 1997: 103-113
4		Lev D. Beklemishev: Induction Rules, Reflection Principles, and Provably Recursive Functions. Ann. Pure Appl. Logic 85(3): 193-242 (1997)
1996
3		Lev D. Beklemishev: Bimodal Logics for Extensions of Arithmetical Theories. J. Symb. Log. 61(1): 91-124 (1996)
1995
2		Lev D. Beklemishev: Iterated Local Reflection Versus Iterated Consistency. Ann. Pure Appl. Logic 75(1-2): 25-48 (1995)
1994
1		Lev D. Beklemishev: On Bimodal Logics of Provability. Ann. Pure Appl. Logic 68(2): 115-159 (1994)

Coauthor Index

1	Sergei I. Adian	[14]
2	Matthias Baaz	[14]
3	Joost J. Joosten	[13]
4	A. L. Rastsvetaev	[9]
5	Marco Vervoort	[13]
6	Albert Visser	[15]

Colors in the list of coauthors