Quantifier Rank

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The maximum nesting depth of quantifiers (existential or universal) in a logical formula; a syntactic measure used to quantify formula complexity and often employed in model theory and finite model approximations.