Sh:234

• Shelah, S. (1986). Classification over a predicate. II. In Around classification theory of models, Vol. 1182, Springer, Berlin, pp. 47–90. DOI: 10.1007/BFb0098505 MR: 850053
  Part of [Sh:d]
• Abstract:
  We develop classification theory over a predicate P for a countable first-order theory T under the assumption that there is “no two-cardinal model." (That is, |P^M| = |M| for all models M of T.) More fully, we prove that either we get strong non-structure theorems or we have uniqueness.

  The non-structure portion is done after some (mild) forcing.

• published version (44p)

@incollection{Sh:234,
 author = {Shelah, Saharon},
 title = {{Classification over a predicate. II}},
 booktitle = {{Around classification theory of models}},
 series = {Lecture Notes in Math.},
 volume = {1182},
 year = {1986},
 pages = {47--90},
 publisher = {Springer, Berlin},
 mrnumber = {850053},
 mrclass = {03C45},
 doi = {10.1007/BFb0098505},
 note = {Part of [Sh:d]},
 refers_to_entry = {Part of [Sh:d]}
}