As far as I am aware, no-one in model theory has attempted to create a general notion of a “quotient structure”, as seen in algebra. This strikes me as odd. Perhaps it is too algebraic a concept for logicians to dirty their hands with. Anyway, here is a pretty simple definition. Fix a language , … Continue reading Quotient structures and the elementary equivalence of S, βS and *S