Structure Isomorphism

A bijective Structure Homomorphism is an isomorphism. We write if there is an isomorphism .

Theorem

Suppose is an -isomorphism. Then for any -formula and ,

Proof

By formula complexity.

Corollary

Isomorphism implies Elementary Equivalence: