scientific article; zbMATH DE number 1163931

zbMath0903.03022MaRDI QIDQ4395555

Heinz-Dieter Ebbinghaus

Publication date: 11 June 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveyquantifier eliminationhomogeneityindiscerniblescardinality quantifiersstationary logiccofinality quantifiersLindström quantifiersArchimedian real closed fieldsEhrenfeucht-Mostowski techniquesmodel theory of generalized quantifiers

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic with extra quantifiers and operators (03C80) Quantifier elimination, model completeness, and related topics (03C10)