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

DOI10.2140/pjm.1975.56.265zbMath0317.02060OpenAlexW2028271688MaRDI QIDQ1221756

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) Logic with extra quantifiers and operators (03C80) Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68)

Related Items (5)

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

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