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 ...

Set theory remains the fulcrum of modern mathematical foundations, providing the language and axiomatic structure upon which much of mathematics is built. Predominantly formulated through the ...