Mathematical Institute, Polish Academy of Sciences, ul.Kopernika 18, 51-617 Wroclaw, Poland
Abstract:
Assume is superstable, is a formula over , is countable and is countable and . We investigate models in assuming has the prime model property. We prove some corollaries on the number of models in . We show an example of an -stable and with having exactly 3 models.