SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

How to Prove Faithfullness of Elementary Theory Interpretations
 by Robert Riemenschneider.

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.
BibTEX Entry
    AUTHOR = {Robert {A.} Riemenschneider},
    TITLE = {How to Prove Faithfullness of Elementary Theory Interpretations},
    YEAR = {1997},
    NOTE = {Unpublished working paper.},
    URL = {}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy