Omitting types theorem

Redirect to:

• Type (model theory)#The omitting types theorem