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.

Prinzip

Formeln der zugelassenen syntaktischen Klasse bleiben unter der betrachteten Einbettung oder Erweiterung erhalten; Wahrheiten in der Basisstruktur implizieren Wahrheiten in der Erweiterung und umgekehrt für diese Klasse.

Demonstration

In der Nichtstandardanalyse erfüllt die hyperreelle Gerade *R dieselben ersten‑Ordnung‑Aussagen über ordnete Körper wie die reellen Zahlen R, sodass ausdruckbare Behauptungen über Summen und Produkte mittels erster Ordnung von R nach *R und zurück übertragen werden können.

Fehlanwendung

Den Grundsatz auf höherstufige Aussagen anzuwenden, Formeln mit Parametern außerhalb der erlaubten Domäne zu verwenden oder den Transfer von Mächtigkeit oder Vollständigkeit anzunehmen, die nicht erster Ordnung sind; dies führt zu falschen Schlüssen.

Konsequenz

Ermöglicht das Arbeiten mit komplizierteren oder infinitesimalen Objekten durch Übergang in eine Erweiterung, in der Manipulationen einfacher sind, und das Zurücktragen von Ergebnissen auf die Ausgangsstruktur für erste‑Ordnung‑Aussagen.

Umkehrung

Die Umkehr liegt vor, wenn eine Formel in der Erweiterung, nicht aber in der Basisstruktur gilt (oder umgekehrt), was darauf hinweist, dass die Erweiterung für diese Formelklasse nicht elementar äquivalent ist.

Abgrenzung

Gilt nur für Formeln der spezifizierten syntaktischen Klasse und für Einbettungen/Erweiterungen, die die geforderte Elementarität erfüllen; schließt zweite Ordnung, infinitäre oder semantische Eigenschaften aus, die nicht von der Klasse erfasst werden.

Semantische Spannung

Steht nahe an der Idee der elementaren Einbettung oder dem Satz von Łoś; Spannung entsteht zwischen 'Transfer' als syntaktischer Bewahrung und anderen Bedeutungen wie semantischer Reflexion oder kompaktitätsbasierten Übertragungen.

Synthese

Das Transferprinzip ist die formale Regel, dass eine festgelegte Klasse logischer Formeln ihre Wahrheit beim Übergang in ein geeignetes erweitertes oder nichtstandardmäßiges Modell bewahrt und so einen bidirektionalen Austausch erster‑Ordnung‑Wahrheiten zwischen verwandten Strukturen ermöglicht.