2. |
- Engström, Fredrik, 1977, et al.
(författare)
-
Transplendent models : Expansions omitting a type
- 2012
-
Ingår i: Notre Dame Journal of Formal Logic. - : Duke University Press. - 0029-4527. ; 53:3, s. 413-428
-
Tidskriftsartikel (refereegranskat)abstract
- 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. We investigate two different formulations and prove necessary and suffcient conditions for countable recursively saturated models of PA. Some of the results in this paper can be found in one of the author's doctoral thesis.
|
|