Definability with a predicate for a semi-linear set
From MaRDI portal
Publication:4457736
DOI10.2178/jsl/1045861516zbMath1045.03032MaRDI QIDQ4457736
H. Jerome Keisler, Michael Benedikt
Publication date: 25 March 2004
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1045861516
constraint sets; definability; first-order linear constraint language; foundations of spatial databases
Cites Work