Rang de Morley

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un rang à valeurs ordinales attribué à un ensemble définissable dans une théorie complète du premier ordre, mesurant sa complexité méta-modèle par induction transfinie ; utilisé pour classer et analyser les théories stables.