#model theory #structures #interpretation #satisfaction #semantics #tarski semantics #logic models #first-order structures