The monadic theory of toric words

Combinatorics on words (68R15) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Automata sequences (11B85)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Kronecker's approximation theorem
Substitution dynamical systems. Spectral analysis
Occurrence of zero in a linear recursive sequence
Almost periodic sequences.
Ostrowski numeration systems, addition, and finite automata
The monadic theory of morphic infinite words and generalizations
Reprint: An arithmetic property of Taylor coefficients of rational functions (1935)
On decidability of monadic logic of order over the naturals extended by monadic predicates
Einige Sätze über \(p\)-adische Potenzreihen mit Anwendung auf gewisse exponentielle Gleichungen.
A note on recurring series
Green’s Relations and Their Use in Automata Theory
Decidability and undecidability of theories with a predicate for the primes
LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
Nombres algébriques et substitutions
Restricted Set-Theoretical Definitions in Arithmetic
Deux propriétés décidables des suites récurrentes linéaires
A remark on morphic sturmian words
Automatic Sequences
Neverending Fractions
On the Pisot Substitution Conjecture
Positivity Problems for Low-Order Linear Recurrence Sequences
Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
Contributions to the theory of Diophantine equations II. The Diophantine equation y ² = x ³ + k
A strong version of Cobham’s theorem
What's decidable about discrete linear dynamical systems?
Decidability for Sturmian words

This page was built for publication: The monadic theory of toric words