Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Ковалёв Константин Андреевич
Публикаций: 2 (2)
в MathSciNet: 1 (1)
Лекций и докладов: 9

Статистика просмотров:
Эта страница:116
Страницы публикаций:3
E-mail:
   
Основные публикации:

https://www.mathnet.ru/rus/person189356
Список публикаций на Google Scholar
https://zbmath.org/authors/ai:kovalyov.konstantin
https://mathscinet.ams.org/mathscinet/MRAuthorID/1631338
https://orcid.org/0009-0004-6621-9184
https://www.webofscience.com/wos/author/record/JMR-2216-2023
https://www.scopus.com/authid/detail.url?authorId=58199180000

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2025
1. К. А. Ковалёв, “Об аксиоматизации арифметики Бюхи”, Труды МФТИ, 17:2 (2025), 42–49  mathnet

   2024
2. Konstantin Kovalyov, “Fragments of IOpen”, Arch. Math. Logic, 63 (2024), 969–986, arXiv: 2304.00282  mathnet  crossref  mathscinet

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

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026