Shelah Rank

A family of combinatorial/ordinal ranks introduced by Saharon Shelah (commonly under names like 2-rank, D-rank, or more generally Shelah ranks) that measure the combinatorial complexity of formulas and theories; different variants capture different dividing lines in classification theory.