Abstract
The concept of Model-Completeness is defined in a first order language with a generalized quantifier. A necessary and sufficient condition is given for that Model-Completeness and its relation to categoricity is discussed.
| Original language | English |
|---|---|
| Pages (from-to) | 265-273 |
| Number of pages | 9 |
| Journal | Pacific Journal of Mathematics |
| Volume | 56 |
| Issue number | 1 |
| DOIs | |
| State | Published - 1 Jan 1975 |
| Externally published | Yes |
ASJC Scopus subject areas
- General Mathematics