##  [Canonical Parameter](/canonical-parameter-0) 

 Definition

A canonical parameter for a definable set or formula is an element (typically an imaginary in M^eq) that serves as a distinguished name encoding that definable object so that definability and automorphism invariance of the object correspond to first‑order properties of the parameter.

 

 

 

 

 

 





## Principle

Principle

Convert definable sets and formulas into named objects inside the structure by choosing, up to definable equivalence, a minimal code (a canonical parameter) so that automorphisms act on definitions via their action on the parameter.

 

 

 

 

 





## Demonstration

Demonstration

If φ(x,a) defines a set D in M, a canonical parameter c_φ(a) is an imaginary whose definable set of realisations corresponds exactly to D; in stable theories canonical bases of types are canonical parameters capturing the minimal definable information of a type.

 

 

 

 

## Misapplication

Misapplication

Using arbitrary tuples of parameters as 'canonical' without checking minimality or definable invariance, or assuming a single concrete tuple is canonical when only its class in M^eq is canonical up to interdefinability.

 

 

 

 

 





## Consequence

Consequence

Canonical parameters allow one to state and prove invariance and uniqueness properties cleanly, facilitate elimination of imaginaries when present for all definable families, and provide compact representatives for definable objects in classification theory.

 

 

 

 

## Reversal

Reversal

The reversed view is to represent definable sets only by parameter tuples in the home sort (non‑canonical representatives); this retains concreteness but obscures uniqueness and complicates statements about invariance under automorphisms.

 

 

 

 

 





## Boundary

Boundary

Canonical parameters exist only after allowing imaginaries or adding suitable coding sorts; uniqueness is up to interdefinability, and not every theory admits canonical parameters for all definable families without expansion.

 

 

 

 

 





## Semantic Tension

Semantic Tension

There is tension between the desire for canonical, minimal codes and the multiplicity of concrete representatives: canonical parameters solve this at the cost of enlarging the language and moving to equivalence classes rather than fixed tuples.

 

 

 

 

 





## Synthesis

Synthesis

A canonical parameter is the minimal imaginary that internally names a definable set or formula so that definability, invariance, and manipulations of the definable object reduce to first‑order statements about that single parameter.