Concept

Vocabulary — where it appears

The set of names a notation needs to write every position of a given size, such as the onside and offside names of loopy regions. Counting it at each size says whether a notation stays usable as positions grow or turns into a list as long as the positions themselves.

Named by 2 essays across one field — each of them below, with the objects they name alongside it.

Named alongside it

The objects these essays reach for when they reach for this one.

Exhaustive searchNotationStopperCounterexampleCountingDrawEnumerationEquivalenceIdentificationLoopyLoopy gameOn, the game that never stops

All concepts