Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Дворкин Лев Вениаминович
Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
18.01.2001
https://www.mathnet.ru/rus/person199511
Список публикаций на Google Scholar
ИСТИНА
https://istina.msu.ru/workers/698595038
https://orcid.org/0009-0001-3117-1318
https://www.webofscience.com/wos/author/record/IQW-5328-2023
https://www.scopus.com/authid/detail.url?authorId=59206412800
Публикации в базе данных
Math-Net.Ru
Цитирования
2024
1.
Л. В. Дворкин, “О логиках доказуемости арифметики Нибергалля”,
Изв. РАН. Сер. матем.
,
88
:3 (2024),
61–100
; L. V. Dvorkin, “On provability logics of Niebergall arithmetic”,
Izv. Math.
,
88
:3 (2024),
468–505
Доклады и лекции в базе данных
Math-Net.Ru
1.
Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
7 октября 2024 г.
16:00
2.
О финитной аппроксимируемости одного класса предтранзитивных логик (продолжение)
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
19 февраля 2024 г.
18:30
3.
О финитной аппроксимируемости одного класса предтранзитивных логик
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
12 февраля 2024 г.
18:30
4.
О логике доказуемости арифметики Нибергалля
Лев Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
26 сентября 2022 г.
18:30
Организации
Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024