## All Questions

135 views

### Definitions of definable compactness

We have an o-minimal structure M with the order topology. $X \subseteq M^n$ with the induced topology. The article "Definable compactness and definable subgroups of o-minimal group …