Continuous logic in a classical setting

Claudio Agostini, Stefano Baratella, Silvia Barbina +2

Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $⟨M,X⟩$ where $M$ varies among structures of the…