Un paramètre canonique pour un ensemble définissable ou une formule est un élément (généralement un imaginaire dans M^eq) qui sert de nom distingué encodant cet objet définissable, de sorte que la définissabilité et l'invariance par automorphisme de l'objet correspondent à des propriétés du premier ordre du paramètre.

Principe

Transformer ensembles définissables et formules en objets nommés à l'intérieur de la structure en choisissant, à équivalence définissable près, un code minimal (paramètre canonique) de sorte que les automorphismes agissent sur les définitions via leur action sur le paramètre.

Démonstration

Si φ(x,a) définit un ensemble D dans M, un paramètre canonique c_φ(a) est un imaginaire dont l'ensemble définissable de réalisations correspond exactement à D ; dans les théories stables, les bases canoniques des types sont des paramètres canoniques capturant l'information définissable minimale d'un type.

Mauvaise application

Utiliser des tuples de paramètres arbitraires comme « canoniques » sans vérifier la minimalité ou l'invariance définissable, ou supposer qu'un tuple concret unique est canonique alors que seule sa classe dans M^eq est canonique à inter‑définissabilité près.

Conséquence

Les paramètres canoniques permettent d'énoncer et de démontrer proprement des propriétés d'invariance et d'unicité, facilitent l'élimination des imaginaires lorsque ceux‑ci existent pour toutes les familles définissables, et fournissent des représentants compacts des objets définissables en théorie de classification.

Inversion

La vue inverse consiste à représenter les ensembles définissables uniquement par des tuples de paramètres dans la sorte d'origine (représentants non canoniques) ; cela conserve la concrétude mais obscurcit l'unicité et complique les assertions d'invariance sous automorphismes.

Limite

Les paramètres canoniques n'existent qu'après avoir autorisé les imaginaires ou ajouté des sortes de codage appropriées ; l'unicité est à inter‑définissabilité près, et toutes les théories n'admettent pas de paramètres canoniques pour toutes les familles définissables sans extension.

Tension sémantique

Tension entre le désir de codes canoniques minimaux et la multiplicité de représentants concrets : les paramètres canoniques résolvent cela au prix d'élargir le langage et de passer à des classes d'équivalence plutôt qu'à des tuples fixes.

Synthèse

Un paramètre canonique est l'imaginaire minimal qui nomme intérieurement un ensemble ou une formule définissable, de sorte que la définissabilité, l'invariance et les manipulations de l'objet définissable se réduisent à des propriétés du premier ordre sur ce seul paramètre.