Pages that link to "Item:Q1919534"
From MaRDI portal
The following pages link to Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534):
Displaying 25 items.
- Sturmian words and a criterium by Michaux-Villemaire (Q557919) (← links)
- Self-similar tiling systems, topological factors and stretching factors (Q1006395) (← links)
- On recognizable sets of integers (Q1273179) (← links)
- Independent numeration systems and syndeticity (Q1275464) (← links)
- The definable criterion for definability in Presburger arithmetic and its applications. (Q1401169) (← links)
- Essentially periodic ordered groups (Q1591377) (← links)
- On iterating linear transformations over recognizable sets of integers (Q1884908) (← links)
- Cobham-Semenov theorem and \(\mathbb N^d\)-subshifts (Q2474222) (← links)
- Words derivated from Sturmian words (Q2484435) (← links)
- Vapnik-Chervonenkis density in some theories without the independence property, I (Q2790718) (← links)
- Defining Multiplication in Some Additive Expansions of Polynomial Rings (Q2813650) (← links)
- LOGICAL CHARACTERIZATION OF RECOGNIZABLE SETS OF POLYNOMIALS OVER A FINITE FIELD (Q2909094) (← links)
- Strong theories of ordered Abelian groups (Q2957274) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
- Presburger sets and p-minimal fields (Q4457729) (← links)
- Cobham's Theorem seen through Büchi's Theorem (Q4630271) (← links)
- THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC (Q4638984) (← links)
- Definable sets up to definable bijections in Presburger groups (Q4642703) (← links)
- An extension of the Cobham-Semënov Theorem (Q4953215) (← links)
- Externally definable quotients and NIP expansions of the real ordered additive group (Q5036091) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- Expansions of Presburger arithmetic with the exchange property (Q6047721) (← links)
- Quantitative estimates for the size of an intersection of sparse automatic sets (Q6077073) (← links)
- An asymptotic version of Cobham’s theorem (Q6180234) (← links)
- On o-Stable Expansions of $$\boldsymbol{(\mathbb{Z},<,+)}$$ (Q6497317) (← links)
