×

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).

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