Дворкин Лев Вениаминович

Доклады и лекции в базе данных 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