Decidability of the s-adic subshifts
Ivan MITROFANOV
Université de Genève (Confédération helvétique)
https://www.unige.ch/math/la-section/enseignants-et-chercheurs/laurent-bartholdi/ivan-mitrofanov
Date(s) : 03/04/2026 iCal
11h00 - 12h00
Take the s-adic subshift X generated by a family of Pisot substitutions sharing the same incidence matrix, together with the set Z of integer numbers. If we view X \cup Z as a first-order structure in the signature consisting of: predicates for “being in X” and “being in Z”, addition and order on Z, distinguished elements 0 and 1 of Z, the shift action of Z on X, the fixed points of substitutions, and the usual prefix ultrametric X, then in this signature the structure admits an automatic presentation, hence its first-order theory is decidable.
The talk is based on joint work with Laurent Bartholdi
Emplacement
Saint-Charles - FRUMAM (2ème étage)
Catégories
