Concepedia

Lev D. Beklemishev

LD

Statistics

Publications

21

Citations

557

H-Index

15

Active since

1990

Affiliations

Steklov Mathematical Institute(Current)

Russian Academy of Sciences

National Research University Higher School of Economics

Lev D. Beklemishev is an author at Steklov Mathematical Institute specializing in formal methods, engineering, and automated reasoning.

ORCID

Top concepts

Publications per year

1990–2013

21

Publications

21

Proof-theoretic analysis by iterated reflection

Lev D. Beklemishev · Archive for Mathematical Logic · 2003 · 60 citations

, , +5

Induction rules, reflection principles, and provably recursive functions

Lev D. Beklemishev · Annals of Pure and Applied Logic · 1997 · 57 citations

, , +6

A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic

Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort · Journal of Logic and Computation · 2005 · 38 citations · Full text

A proof-theoretic analysis of collection

Lev D. Beklemishev · Archive for Mathematical Logic · 1998 · 35 citations

, , +4

Veblen hierarchy in the context of provability algebras

Lev D. Beklemishev · 2004 · 34 citations · Full text

1–5 of 21