Vol. 91, No. 2, 1980

Recent Issues
Vol. 323: 1  2
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
Homogeneous models and decidability

Terrence Millar

Vol. 91 (1980), No. 2, 407–418
Abstract

Fix a countable first order structure 𝒜 realizing only recursive types. It is known that if 𝒜 is prime or saturated then it is decidable iff the set of types it realizes is recursively enumerable. A natural conjecture was that the techniques of proof for those two cases could be combined to produce the result for those 𝒜 that are homogeneous. This paper provides a negative answer to that conjecture.

Mathematical Subject Classification 2000
Primary: 03C50
Secondary: 03C57
Milestones
Received: 22 May 1978
Published: 1 December 1980
Authors
Terrence Millar