Vol. 56, No. 1, 1975

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 323: 1
Vol. 322: 1  2
Vol. 321: 1  2
Vol. 320: 1  2
Vol. 319: 1  2
Vol. 318: 1  2
Vol. 317: 1  2
Vol. 316: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Subscriptions
Editorial Board
Officers
Contacts
 
Submission Guidelines
Submission Form
Policies for Authors
 
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