论文信息 - Quantifier elimination in discriminator varieties

Quantifier elimination in discriminator varieties

Caracterisation des classes d'elements d'une variete de discriminateurs admettant l'elimination des quantificateurs en termes de classes d'elements simples

Françoise Point

[1] Stanley Burris,et al. Decidable varieties with modular congruence lattices , 1981 .

[2] S. Burris,et al. Sheaf constructions and their elementary properties , 1979 .

[3] Angus Macintyre. Model-completeness for sheaves of structures , 1973 .

[4] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[5] H. Jerome Keisler. Some Applications of Infinitely Long Formulas , 1965, J. Symb. Log..