Definability with a predicate for a semi-linear set
Keyword(s):
AbstractWe 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: we show that in first-order logic one cannot query a semi-linear set as to whether or not it contains a line, or whether or not it contains the line segment between two given points. However, we show that some of these queries become definable if one makes small restrictions on the semi-linear sets considered.
Keyword(s):
Keyword(s):
Keyword(s):
2009 ◽
Vol 19
(12)
◽
pp. 3091-3099
◽
Keyword(s):
2019 ◽
Vol 29
(8)
◽
pp. 1311-1344
◽
Keyword(s):