Ω-Catégoricité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété d'une théorie du premier ordre (dans un langage dénombrable) indiquant qu'elle possède un seul modèle de cardinalité dénombrable à l'isomorphisme près.