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: ...
Predicate methods allow you to separate the criteria you're using to test items in a collection from the code that processes the collection. You may never write a For...Each loop again. Here are some ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback