Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Seminars "Proof Theory" and "Logic Online Seminar"
May 23, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


Interpretations of Büchi arithmetics in themselves

A. A. Zapryagaev

National Research University "Higher School of Economics", Moscow
Video records:
MP4 3,019.2 Mb
MP4 1,634.8 Mb

Number of views:
This page:159
Video files:27



Abstract: Büchi arithmetic BA$_k,\ k \geq 2,$ is the elementary theory of the natural numbers with equality, addition and the function $V_k (x)$ which returns the largest power of 2 dividing $x$. These arithmetics represent finite automata in the following sense: sets of natural numbers definable in BA$_k$ are exactly those accepted by some finite automaton when expressed in $k$-ary digits. We study interpretations of Büchi arithmetics in themselves. For Presburger arithmetic (theory of natural numbers with addition), it was previously proven by the author and F. Pakhomov that every self-interpretation is definably isomorphic to the identical interpretation.
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024