Transplendent Models: Expansions Omitting a Type
Fredrik Engström, Richard W. Kaye · Notre Dame Journal of Formal Logic · 2012
We expand the notion of resplendency to theories of the kind T+p↑, where T is a first-order theory and p↑ expresses that the type p is omitted; both T and p are in languages extending the base language. We investigate two different formulations and prove necessary and sufficient conditions for countable recursively saturated models of PA.