Publication:4198735

zbMath0411.03027MaRDI QIDQ4198735

Michał Krynicki

Publication date: 1979

zbMATH Keywords

Henkin quantifier; second-order quantifier; quantifier elemination; languages with extra quantifiers

Mathematics Subject Classification ID

03C80: Logic with extra quantifiers and operators

03C85: Second- and higher-order model theory

03C10: Quantifier elimination, model completeness, and related topics