Semantical conditions for the definability of functions and relations

Miguel Campercholi, Diego Vaggione

Let $\mathcal{L}\subseteq {\mathcal{L}}^{\prime }$ be first order languages, let $R\in {\mathcal{L}}^{\prime }-\mathcal{L}$ be a relation symbol, and let be a class of…