Vol. 61, No. 2, 1975

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 307: 1  2
Vol. 306: 1  2
Vol. 305: 1  2
Vol. 304: 1  2
Vol. 303: 1  2
Vol. 302: 1  2
Vol. 301: 1  2
Vol. 300: 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
Theories with a finite number of models in an uncountable power are categorical

Alistair H. Lachlan

Vol. 61 (1975), No. 2, 465–481
Abstract

In this paper are considered complete, countable, first-order theories which have a finite number of models in some uncountable power. It is shown that any such theory is either ω-categorical or ω1-categorical. This confirms a conjecture of W. K. Forrest.

Mathematical Subject Classification
Primary: 02H05, 02H05
Secondary: 02G20
Milestones
Received: 16 January 1975
Published: 1 December 1975
Authors
Alistair H. Lachlan