Pages that link to "Item:Q2976377"
From MaRDI portal
The following pages link to EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS (Q2976377):
Displaying 9 items.
- Interpreting the monadic second order theory of one successor in expansions of the real line (Q1650004) (← links)
- Ostrowski numeration systems, addition, and finite automata (Q1750300) (← links)
- A tetrachotomy for expansions of the real ordered additive group (Q2037136) (← links)
- When is scalar multiplication decidable? (Q2311210) (← links)
- The additive structure of integers with the lower Wythoff sequence (Q2700820) (← links)
- A wild model of linear arithmetic and discretely ordered modules (Q5108127) (← links)
- (Q5155665) (← links)
- Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence (Q6584962) (← links)
- Decidability for Sturmian words (Q6597962) (← links)
