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: ...
This is a preview. Log in through your library . Abstract The guarded fragment (GF) was introduced by Andréka, van Benthem and Németi as a fragment of first order logic which combines a great ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback