Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Zapryagaev, Aleksandr Aleksandrovich
Statistics Math-Net.Ru
Total publications: 3
Scientific articles: 3
Presentations: 6

Number of views:
This page:322
Abstract pages:257
References:24
E-mail:

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

Publications in Math-Net.Ru Citations
2023
1. A. A. Zapryagaev, “On interpretations of Presburger arithmetic in Büchi arithmetics”, Dokl. RAN. Math. Inf. Proc. Upr., 510 (2023),  3–7  mathnet  elib; Dokl. Math., 107:2 (2023), 89–92
2020
2. Fedor Pakhomov, Alexander Zapryagaev, “Multi-dimensional Interpretations of Presburger Arithmetic in Itself”, J. Logic Comput., 30:8 (2020),  1681–1693  mathnet  mathscinet  isi  scopus 3
2018
3. Alexander Zapryagaev, Fedor Pakhomov, “Interpretations of Presburger Arithmetic in Itself”, Lecture Notes in Comput. Sci., 10703 (2018),  354–367  mathnet  mathscinet  isi  scopus 2

Presentations in Math-Net.Ru
1. Interpretations of Büchi arithmetics in themselves
A. A. Zapryagaev
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 10, 2022 17:00   
2. Interpretations of Büchi arithmetics in themselves
A. A. Zapryagaev
Seminars "Proof Theory" and "Logic Online Seminar"
May 23, 2022 18:30   
3. Boolean algebras, Stone and Jonsson-Tarski theorems
A. A. Zapryagaev
Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
March 2, 2022 18:00   
4. Presburger arithmetic and Visser's conjecture
A. A. Zapryagaev
Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 12:00   
5. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
Seminars "Proof Theory" and "Logic Online Seminar"
December 2, 2019 18:30   
6. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
Seminars "Proof Theory" and "Logic Online Seminar"
November 25, 2019 18:30   
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024