The following pages link to (Q5009704):
Displaying 4 items.
- Lattice of definability (of reducts) for integers with successor (Q5033990) (← links)
- Externally definable quotients and NIP expansions of the real ordered additive group (Q5036091) (← links)
- Decidability of Definability Issues in the Theory of Real Addition (Q5880942) (← links)
- Pregeometry over locally o‐minimal structures and dimension (Q6140755) (← links)
