Abstract
We expand the notion of resplendency to theories of the kind , where is a first-order theory and expresses that the type is omitted; both and 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.
Citation
Fredrik Engström. Richard W. Kaye. "Transplendent Models: Expansions Omitting a Type." Notre Dame J. Formal Logic 53 (3) 413 - 428, 2012. https://doi.org/10.1215/00294527-1716739
Information