Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Ковалёв Константин Андреевич E-mail:     Основные публикации: K. Kovalyov, “Fragments of IOpen”, Archive for Mathematical Logic, 63 (2024), 969-986 https://doi.org/10.1007/s00153-024-00929-2, arXiv: https://arxiv.org/abs/2304.00282   https://www.mathnet.ru/rus/person189356 Список публикаций на Google Scholar Список публикаций: | научные публикации | по годам | по типам | по числу цит. | общий список | Цитирования (Crossref Cited-By Service + Math-Net.Ru) 1. 2. 3.    2025 4. К. А. Ковалёв, “Об аксиоматизации арифметики Бюхи”, Труды МФТИ, 17:2 (66) (2025), 42-49 https://mipt.ru/science/trudy/66    2024 5. K. Kovalyov, “Fragments of IOpen”, Archive for Mathematical Logic, 63 (2024), 969-986 https://doi.org/10.1007/s00153-024-00929-2, arXiv: https://arxiv.org/abs/2304.00282   Доклады и лекции в базе данных 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    Организации Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)