Ein kanonischer Parameter für eine definierbare Menge oder Formel ist ein Element (typischerweise ein Imaginäres in M^eq), das als unterscheidbarer Name dieses definierbaren Objekts dient, sodass Definierbarkeit und Automorphismusinvarianz des Objekts als erste‑Ordnung‑Eigenschaften des Parameters formuliert werden können.

Prinzip

Definierbare Mengen und Formeln in benannte Objekte innerhalb der Struktur umwandeln, indem man bis auf definierbare Äquivalenz einen minimalen Code (kanonischen Parameter) wählt, sodass Automorphismen auf Definitionen durch ihre Wirkung auf den Parameter wirken.

Demonstration

Wenn φ(x,a) eine Menge D in M definiert, ist ein kanonischer Parameter c_φ(a) ein Imaginäres, dessen definierbare Menge von Realisierungen genau mit D übereinstimmt; in stabilen Theorien sind kanonische Basen von Typen kanonische Parameter, die die minimale definierbare Information eines Typs erfassen.

Fehlanwendung

Beliebige Parameter‑Tupel als ‚kanonisch‘ zu verwenden, ohne Minimalität oder definierbare Invarianz zu prüfen, oder anzunehmen, ein konkretes Tupel sei kanonisch, obwohl nur seine Klasse in M^eq bis zur Interdefinierbarkeit kanonisch ist.

Konsequenz

Kanonische Parameter erlauben klare Formulierungen und Beweise von Invarianz‑ und Eindeutigkeitsaussagen, erleichtern die Eliminierung von Imaginären, wenn diese für alle definierbaren Familien existieren, und liefern kompakte Repräsentanten definierbarer Objekte in der Klassifikationstheorie.

Umkehrung

Die umgekehrte Sichtweise ist, definierbare Mengen nur durch Parameter‑Tupel in der Ausgangssorte zu repräsentieren (nicht‑kanonische Repräsentanten); das bewahrt Konkretheit, verschleiert jedoch Eindeutigkeit und verkompliziert Invarianz‑Aussagen unter Automorphismen.

Abgrenzung

Kanonische Parameter existieren nur nach Zulassung von Imaginären oder dem Hinzufügen geeigneter Codier‑Sorten; Eindeutigkeit gilt bis zur Interdefinierbarkeit, und nicht jede Theorie besitzt kanonische Parameter für alle definierbaren Familien ohne Erweiterung.

Semantische Spannung

Spannung zwischen dem Wunsch nach kanonischen Minimalcodes und der Vielfalt konkreter Repräsentanten: kanonische Parameter lösen dies zu Lasten der Vergrößerung der Sprache und des Wechsels zu Äquivalenzklassen statt festen Tupeln.

Synthese

Ein kanonischer Parameter ist das minimale Imaginäre, das innerlich eine definierbare Menge oder Formel benennt, so dass Definierbarkeit, Invarianz und Manipulationen des definierbaren Objekts auf erste‑Ordnung‑Aussagen über genau diesen Parameter reduziert werden können.