# Sh:800

• Shelah, S. On complicated models and compact quantifiers. Preprint.
• Abstract:
We look here again at building models M with second order properties, in particular every isomorphism between two interpretations of a theory t in M is definable in M.
@article{Sh:800,
}