Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kovalyov, Konstantin Andreevich
E-mail:
   
Main publications:
  1. 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  crossref

https://www.mathnet.ru/eng/person189356
List of publications on Google Scholar

List of publications:
| scientific publications | by years | by types | by times cited | common list |


Citations (Crossref Cited-By Service + Math-Net.Ru)
1.
2.
3.
4. K. A. Kovalev, “Ob aksiomatizatsii arifmetiki Byukhi”, Trudy MFTI, 17:2 (66) (2025), 42-49 https://mipt.ru/science/trudy/66
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  crossref

Presentations in Math-Net.Ru
1. О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 4
K. A. Kovalev, L. V. Dvorkin
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
October 2, 2025 16:00
2. О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 3
K. A. Kovalev, L. V. Dvorkin
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
September 25, 2025 16:00
3. О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 2
K. A. Kovalev, L. V. Dvorkin
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
September 17, 2025 16:00
4. О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 1
K. A. Kovalev, L. V. Dvorkin
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
September 11, 2025 16:00
5. On interpretations of fields in o-minimal extensions of real closed fields — 2
K. A. Kovalev
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
April 8, 2025 16:00   
6. On interpretations of fields in o-minimal extensions of real closed fields
K. A. Kovalev
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
April 1, 2025 16:00   
7. Analogues of Shepherdson's Theorem for the arithmetical language with exponentiation
K. A. Kovalyov
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 10, 2022 17:15   

Organisations