It is known that the theory K K of commutative regular rings with identity has a model completion K ′ K’ . We show that there exists a countable model of K K which has no prime extension to a model of K ′ K’ .
One platform for all researcher needs
AI-powered academic writing assistant
Your #1 AI companion for literature search
AI tool for graphics, illustrations, and artwork
Unlock unlimited use of all AI tools with the Editage Plus membership.
Explore Editage PlusPublished in last 50 years