|
|||||
|
|
|
|
|
|
|
|
|
Model-completeness in a
first order language with a generalized quantifier
Shlomo Vinner |
|
Vol. 56 (1975), No. 1, 265–273
|
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. |
Mathematical Subject Classification
Primary: 02H05
Secondary: 02B20
|
Milestones
Received: 24 September 1973
Published: 1 January 1975
|
Authors |
| Shlomo Vinner | |
|
