In an earlier paper, my colleagues and I stated that an intepretation I of an elementary theory T1 in an elementary theory T2 is faithful if and only if, for every model M1 of T1, there is a model M2 of T2 such that the image of T2 under I can be expanded to a model of the description of M1. This paper provides a justificatin of that statement.

@Unpublished{riemenschneider97a,
    AUTHOR = {Robert {A.} Riemenschneider},
    TITLE = {How to Prove Faithfullness of Elementary Theory Interpretations},
    YEAR = {1997},
    NOTE = {Unpublished working paper.},
    URL = {http://www.csl.sri.com/papers/proof/}
}

• proof.ps.gz