Definability with a predicate for a semi-linear set

DOI10.2178/jsl/1045861516zbMath1045.03032OpenAlexW2039212072MaRDI 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

zbMATH Keywords

constraint setsdefinabilityfirst-order linear constraint languagefoundations of spatial databases

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Relational expressive power of constraint query languages
• Definability of Geometric Properties in Algebraically Closed Fields

This page was built for publication: Definability with a predicate for a semi-linear set