Pages that link to "Item:Q4527928"
From MaRDI portal
The following pages link to On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers (Q4527928):
Displayed 8 items.
- Vapnik-Chervonenkis density in some theories without the independence property. II (Q372618) (← links)
- A full characterization of Bertrand numeration systems (Q2163984) (← links)
- Automata and tame expansions of \((\mathbb{Z}, +)\) (Q2164435) (← links)
- On expansions of \((\mathbf{Z},+,0)\) (Q2187266) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← 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)
- THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC (Q4638984) (← links)