MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 754

Preprint Number 754

Previous Next Preprint server


754. Philipp Hieronymi, Alonza Terry Jr
Ostrowski numeration systems, addition and finite automata
E-mail:

Submission date: 25 July 2014.

Abstract:

Addition in the Ostrowski numeration system based on a quadratic number a is recognizable by a finite automaton. We deduce that a subset of X\subseteq N^n is definable in (N,+,V_a), where V_a is the function that maps a natural number x to the smallest denominator of a convergent of a that appears in the Ostrowski representation based on a of x with a non-zero coefficient, if and only if the set of Ostrowski representations of elements of X is recognizable by a finite automaton. The decidability of the theory of (N,+,V_a) follows.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1407.7000: pdf, ps.


Last updated: July 30 2014 09:09 Please send your corrections to: