It is known that the theory K of commutative regular rings with identity has a model completion K . We show that there exists a countable model of K which has no prime extension to a model of K'. If K and K ate theories in a first order language L, then K is said to be a model completion of K if K extends K, every model of K can be embedded in a model of K , and for any model A of K and models ...
