Homomorphism Preservation Theorems for Many-Valued Structures

James Carr

A canonical result in model theory is the homomorphism preservation theorem (h.p.t.) which states that a first-order formula is preserved under homomorphisms iff it is equivalent t…