Alternationstiefe

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Anzahl der Wechsel zwischen existenziellen und universellen Quantoren in der längsten alternierenden Folge einer Formel; anders gesagt die Anzahl der Umschaltungen ∃→∀ oder ∀→∃ entlang eines maximalen Pfades durch Quantorvorkommen.