Kanonischer Parameter

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.