Quantifier rank

Quantifier rank is a concept from model theory, a branch of mathematical logic. It relates to the complexity of formulas in logic, particularly those formulated in first-order logic. In first-order logic, quantifiers are symbols used to express statements about the existence (∃) or universality (∀) of elements in a domain.