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

DOI10.2140/PJM.1975.56.265MaRDI QIDQ1221756zbMATH OpenOpenAlexFDO

Authors Shlomo Vinner

Publication date 1975

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2140/pjm.1975.56.265

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68) Logic with extra quantifiers and operators (03C80)

Cited in

(5)

• The ordered field of real numbers and logics with Malitz quantifiers
• The theory of differentially closed fields in logics with cardinal quantifiers
• Ideal models and some not so ideal problems in the model theory of L(Q)
• Generalized quantifiers and well orderings
• On the elimination of Malitz quantifiers over Archimedian real closed fields

This page was built for publication: Model-completeness in a first order language with a generalized quantifier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1221756)