Vol. 90, No. 1, 1980

Recent Issues
Vol. 331: 1
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 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 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
Ramsey quantifiers and the finite cover property

John Theodore Baldwin and David William Kueker

Vol. 90 (1980), No. 1, 11–19
Abstract

The main results of this paper are the following Theorem A. The Magidor-Malitz quantifier (in the 0-interpretation) is eliminable from a countable stable theory T if and only if T does not have the finite cover property. Theorem B. There is an 0-categorical theory which is not finitely model complete.

Mathematical Subject Classification 2000
Primary: 03C80
Secondary: 03C10, 03C45
Milestones
Received: 18 May 1979
Revised: 23 July 1979
Published: 1 September 1980
Authors
John Theodore Baldwin
David William Kueker