(logic) arithmetical hierarchy

(logic) A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal quantifiers.

(rare) Of or pertaining to winter, wintry.

The act or result of hierarchizing; the establishment of a hierarchy.

plural of hieracosphinx

A mythical beast found in Egyptian sculpture and European heraldry, being a lion with the head of a falcon.

The process or policy of organising as a hierarchy.

(pharmacology, now historical) A warming cathartic medicine made from aloes and canella.

Alternative form of hierarchical

present participle of hield