    

How to Prove Faithfullness of Elementary Theory Interpretations
by Robert Riemenschneider.
Abstract
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.
BibT_{E}X Entry
@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/}
}
Files


