| |
Дворкин Лев Вениаминович
|
| В базах данных |
| Публикаций: |
1 |
| Научных статей: |
1 |
| Лекций и докладов: |
9 |
| Статистика просмотров: |
| Эта страница: | 317 | | Страницы публикаций: | 655 | | Полные тексты: | 40 | | Списки литературы: | 105 |
|
| Специальность ВАК: |
01.01.06 (математическая логика, алгебра и теория чисел) |
| Дата рождения: |
18.01.2001 |
|
 |
https://www.mathnet.ru/rus/person199511 |
 |
Список публикаций на Google Scholar |
 |
https://zbmath.org/authors/ai:dvorkin.lev-v |
| ИСТИНА |
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
|
 |
https://arxiv.org/a/dvorkin_l_1
|
|
|
|
|
Публикации в базе данных 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  |
1
|
|
|
| Доклады и лекции в базе данных Math-Net.Ru |
| 1. |
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 4
К. А. Ковалев, Л. В. Дворкин
Рабочий семинар по математической логике
2 октября 2025 г. 16:00
|
| 2. |
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 3
К. А. Ковалев, Л. В. Дворкин
Рабочий семинар по математической логике
25 сентября 2025 г. 16:00
|
| 3. |
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 2
К. А. Ковалев, Л. В. Дворкин
Рабочий семинар по математической логике
17 сентября 2025 г. 16:00
|
| 4. |
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 1
К. А. Ковалев, Л. В. Дворкин
Рабочий семинар по математической логике
11 сентября 2025 г. 16:00
|
| 5. |
Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 1)
Л. В. Дворкин
Логический семинар лаборатории им. Манина
16 апреля 2025 г. 14:00
|
| 6. |
Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
7 октября 2024 г. 16:00
|
| 7. |
О финитной аппроксимируемости одного класса предтранзитивных логик (продолжение)
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
19 февраля 2024 г. 18:30
|
| 8. |
О финитной аппроксимируемости одного класса предтранзитивных логик
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
12 февраля 2024 г. 18:30
|
| 9. |
О логике доказуемости арифметики Нибергалля
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
26 сентября 2022 г. 18:30
|
|
|
| Организации |
|
Обратная связь: