The method of diagrams adds the diagram or elementary diagram of a structure to a theory and applies compactness. A resulting model supplies an embedding or elementary embedding of the named structure.
New to topics? Read the docs here!
New to topics? Read the docs here!