The following pages link to (Q4233755):
Displaying 5 items.
- Proofs of definability of some varieties and sets of varieties of semigroups. (Q444669) (← links)
- Undefinability results in o-minimal expansions of the real numbers (Q1779308) (← links)
- Semialgebraic sets and some versions of the Tarski-Seidenberg-Macintyre theorem (Q1918786) (← links)
- Definability with a predicate for a semi-linear set (Q4457736) (← links)
- (Q5458154) (← links)