Vol. 56, No. 1, 1975

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 294: 1
Vol. 293: 1  2
Vol. 292: 1  2
Vol. 291: 1  2
Vol. 290: 1  2
Vol. 289: 1  2
Vol. 288: 1  2
Vol. 287: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Subscriptions
Editorial Board
Officers
Special Issues
Submission Guidelines
Submission Form
Contacts
Author Index
To Appear
 
ISSN: 0030-8730
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