Theoriemorphismus

Eine strukturerhaltende Abbildung zwischen formalen Theorien, die Symbole, Formeln und Axiome einer Quelltheorie in eine Zieltheorie übersetzt, so dass Ableitbarkeit oder modelltheoretische Folgebeziehungen erhalten bleiben; oft formalisiert als Signaturabbildungen zusammen mit Axiomübersetzungen oder als Interpretationen zwischen Theorien.