On complicated models and compact quantifiers

by Shelah. [Sh:800]

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 .


Back to the list of publications