Kovalyov Konstantin Andreevich

Presentations in Math-Net.Ru

1. On interpretations of fields in o-minimal extensions of real closed fields — 2
   K. A. Kovalev
   
   April 8, 2025 16:00   
2. On interpretations of fields in o-minimal extensions of real closed fields
   K. A. Kovalev
   
   April 1, 2025 16:00   
3. On the fragments of Peano arithmetic with quantifier-free induction schema
   K. A. Kovalyov
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 3, 2022 18:30   
4. Models of quantifier-free induction for the language of arithmetic with exponentiation
   K. A. Kovalyov
   Seminars "Proof Theory" and "Logic Online Seminar"
   November 8, 2021 18:30