Pages that link to "Item:Q3190214"
From MaRDI portal
The following pages link to Interpreting the projective hierarchy in expansions of the real line (Q3190214):
Displaying 10 items.
- Expansions of o-minimal structures by dense independent sets (Q287480) (← links)
- Interpreting the monadic second order theory of one successor in expansions of the real line (Q1650004) (← links)
- How to avoid a compact set (Q2014009) (← links)
- A tetrachotomy for expansions of the real ordered additive group (Q2037136) (← links)
- Coarse dimension and definable sets in expansions of the ordered real vector space (Q2188420) (← links)
- When is scalar multiplication decidable? (Q2311210) (← links)
- EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS (Q2976377) (← links)
- A wild model of linear arithmetic and discretely ordered modules (Q5108127) (← links)
- (Q5155665) (← links)
- Decidability bounds for Presburger arithmetic extended by sine (Q6584959) (← links)
