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: ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results