collaborators

1 paper

math.LO2022

On Interpretations in Büchi Arithmetics

Alexnader Zapryagaev

Büchi arithmetics BA_n, n >= 2, are extensions of Presburger arithmetic with an unary functional symbol V_n(x) denoting the largest power of n that divides x. Definability of a set…