Model-completeness in a first order language with a generalized quantifier

• 1 January 1975
• journal article
• Published by Mathematical Sciences Publishers in Pacific Journal of Mathematics
• Vol. 56  (1) , 265-273
• https://doi.org/10.2140/pjm.1975.56.265

Abstract

Keywords

• MODEL COMPLETENESS
• GENERALIZED QUANTIFIER
• ORDER LANGUAGE
• LANGUAGE WITH A GENERALIZED