Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



On the prime model property

Author: Ludomir Newelski
Journal: Proc. Amer. Math. Soc. 124 (1996), 2519-2525
MSC (1991): Primary 03C15, 03C45
MathSciNet review: 1322936
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Assume $T$ is superstable, $\Phi (x)$ is a formula over $\emptyset $, $Q=\Phi (M^*)$ is countable and $K_Q=\{M: M$ is countable and $\Phi (M)=Q\}$. We investigate models in $K_Q$ assuming $K_Q$ has the prime model property. We prove some corollaries on the number of models in $K_Q$. We show an example of an $\omega $-stable $T$ and $Q$ with $K_Q$ having exactly 3 models.

References [Enhancements On Off] (What's this?)

  • [Ba] J.T. Baldwin, Fundamentals of stability theory, Springer, 1987. MR 89k:03002
  • [HHM] W. Hodges, I.M. Hodkinson, D. Macpherson, Omega-categoricity, relative categoricity and coordinatization, Ann. Pure Appl. Logic 46(1990), 169-199. MR 91g:03066
  • [Ne1] L. Newelski, A model and its subset, J. Symb. Logic 57(1992), 644-658. MR 93h:03046
  • [Ne2] L. Newelski, Scott analysis of pseudo-types, J. Symb. Logic 58(1993), 648-663. MR 94m:03055
  • [Ne3] L. Newelski, Meager forking , Ann.Pure Appl.Logic 70(1994), 141-175. MR 96a:03047
  • [Ne4] L. Newelski, On atomic or saturated sets, J. Symb. Logic, submitted.
  • [Sa] G. Sacks, Saturated Model Theory, Benjamin, Reading 1972. MR 53:2668

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 03C15, 03C45

Retrieve articles in all journals with MSC (1991): 03C15, 03C45

Additional Information

Ludomir Newelski
Affiliation: Mathematical Institute, Polish Academy of Sciences, ul.Kopernika 18, 51-617 Wroclaw, Poland
Address at time of publication: Mathematical Institute, Wrocław University, pl. Grunwaldzki 2/4, 50-384 Wrocław, Poland

Received by editor(s): August 26, 1994
Received by editor(s) in revised form: February 13, 1995
Communicated by: Andreas R. Blass
Article copyright: © Copyright 1996 American Mathematical Society