Issue Information
روزنامه با شماره پیاپی سال 1995
Pages
23
From page
107
To page
129
Abstract
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.
Journal title
Annals of Pure and Applied Logic
Serial Year
1995
Journal title
Annals of Pure and Applied Logic
Record number
889982
Link To Document