 What we do is to formulate in the one-sorted language three conditions whose validity in a model makes it easily convertible into a many-sorted one. Let \(\Pi\) be the set of all sentences of the following forms: