Lev Beklemishev

Identifiers

• name variant Lev Beklemishev 0.60 · backfill

Papers (4)

1. Axiomatizing provable $n$-provability math.LO · 2018 · author #2
2. Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics math.LO · 2016 · author #1
3. Positive provability logic for uniform reflection principles math.LO · 2013 · author #1
4. Topological interpretations of provability logic math.LO · 2012 · author #1

Mentions

• 1304.4396 #1 · backfill · confidence 0.70 Lev Beklemishev
• 1210.7317 #1 · backfill · confidence 0.70 Lev Beklemishev

Frequent Coauthors

• Daniyar Shamkanov 1 shared papers
• David Gabelaia 1 shared papers
• Evgeny Kolmakov 1 shared papers