Transferprinzip

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Ein Schema, das besagt, dass bestimmte Formeln (typischerweise einer vorgegebenen syntaktischen Klasse, oft der Prädikatenlogik erster Stufe) genau dann in einer erweiterten oder nichtstandardmäßigen Struktur gelten, wenn die entsprechenden Formeln in der Ausgangsstruktur gelten, und so den Transfer von Wahrheiten ermöglicht.