= Ehrenfeucht theory of an increasing named sequence
{c}
Add constants $c_0<c_1<\cdots$ to the theory of <dense linear orders without endpoints>. The three countable models have respectively a least upper bound for the named sequence, no upper bound, or upper bounds with no least one. The unbounded model is an <atomic model>; the bounded model with no least upper bound is an <omega-saturated model>. The remaining model omits the type $c_i<x<d$ over its least-upper-bound parameter $d$.
Back to article page
