Engineering↗
Satisfaction, Truth and Elementary Equivalence
The satisfaction relation defined by recursion, truth for sentences, theories and models, elementary equivalence, and why elementarily equivalent structures can be non-isomorphic.
Every page in the KEVOS library tagged satisfaction. 1 page.