The following pages link to (Q4147966):
Displaying 8 items.
- The definable criterion for definability in Presburger arithmetic and its applications. (Q1401169) (← links)
- Substitutive systems and a finitary version of Cobham's theorem (Q2064759) (← links)
- Multi-dimensional sets recognizable in all abstract numeration systems (Q2911426) (← links)
- An analogue of Cobham’s theorem for fractals (Q3020345) (← links)
- A multi-dimensional analogue of Cobham’s theorem for fractals (Q5398121) (← links)
- Decidability of Definability Issues in the Theory of Real Addition (Q5880942) (← links)
- Quantitative estimates for the size of an intersection of sparse automatic sets (Q6077073) (← links)
- An asymptotic version of Cobham’s theorem (Q6180234) (← links)
