We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets. We give new results both on the positive and negative side: ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results