A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
A model and its subset: the uncountable case
1995
Annals of Pure and Applied Logic
Assume Q is a definable subset of a model of T. We define a notion of Q-isolated type, generalizing an earlier definition for countable Q. This notion is absolute. For superstable T, we give some sufficient conditions for the existence of Q-atomic models. We apply this to prove some results on weak categoricity over a predicate. ' Research supported by KBN grant 2-l 103-91-01. E-mail: newelski@impan.impan.gov.pl 0168-0072/95/$09.50 G 1995-Elsevier Science B.V. All rights reserved SSDI
doi:10.1016/0168-0072(95)91363-f
fatcat:fo75nzoqsfdq3hkbbpwnjl5u3u