Ковалёв Константин Андреевич

Доклады и лекции в базе данных 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. Об интерпретациях полей в о-минимальных расширения вещественно замкнутых полей — 2
   К. А. Ковалев
   Рабочий семинар по математической логике
   8 апреля 2025 г. 16:00   
6. Об интерпретациях полей в о-минимальных расширениях вещественно замкнутых полей — 1
   К. А. Ковалев
   Рабочий семинар по математической логике
   1 апреля 2025 г. 16:00   
7. Analogues of Shepherdson's Theorem for the arithmetical language with exponentiation
   К. А. Ковалёв
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   10 ноября 2022 г. 17:15   
8. О фрагментах арифметики Пеано с бескванторной схемой индукции
   К. А. Ковалёв
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   3 октября 2022 г. 18:30   
9. Модели бескванторной индукции для языка арифметики с экспонентой
   К. А. Ковалёв
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   8 ноября 2021 г. 18:30