Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Russian Federation |
|---|---|
| City | Moscow |
| Institution | Russian Academy of Sciences |
| Institute | V. A. Steklov Institute of Mathematics |
Profile
| Research fields | Fundamentals of Mathematics, Logics, Set Theory |
|---|---|
| Keywords | proof theory, ordinal analysis, literated consistency |