Models, Equality, Undefiniteness

We will discuss the application of model theoretic methods to establish the conservativeness of description and selection functions in the presence of undefined terms, with specific reference to Set Theory.