Short recursively saturated models and boundedly saturated models
From Peano's Parlour
Revision as of 22:27, 20 November 2014 by Eshochat (Talk | contribs) (Created page with " == Short Recursively Saturated Models == A model is short if there is an element in the model whose Skolem closure is cofinal in the model. That is, M is short iff there i...")
Short Recursively Saturated Models
A model is short if there is an element in the model whose Skolem closure is cofinal in the model.
That is, M is short iff there is a in M such that M=Sup(Scl(a)).
A type p(v,b) is bounded if it contains the formula v<b.
A model M is boundedly saturated if for every b in M, every bounded recursive type p(v,b) is realized in M.
A model is short recursively saturated if it is short and boundedly saturated.
