Vol. 56, No. 1, 1975

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Vol. 321: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
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