 For the syntactic translation (known as “relativization of quantifiers”), let \(L\) be a many-sorted language of signature \(\Sigma\), and let \(\OperSym\) be its set of operation symbols. We thus need an one-sorted language \(L^{\ast}\) with