Gaifman, Haim On local and non-local properties. (English) Zbl 0518.03008 Logic colloquium ’81, Proc. Herbrand Symp., Marseille 1981, Stud. Logic Found. Math. 107, 105-135 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 38 Documents MSC: 03C10 Quantifier elimination, model completeness, and related topics 03C80 Logic with extra quantifiers and operators 68P20 Information storage and retrieval of data 03E99 Set theory Keywords:languages for databases; k-local formula; definability in classes of finite relational structures; locally (first order) inseparable classes Citations:Zbl 0489.00007; Zbl 0307.02052 PDFBibTeX XML