For a first-order theory and , an algebraically prime extension is a structure embedding such that every embedding factors as for some structure embedding . The embeddings need not be elementary or unique. A theory has algebraically prime models when every such has an extension of this kind.
Articles by others on the same topic
There are currently no matching articles.