Quantifikatorrang

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die maximale Verschachtelungstiefe von Quantoren (existentiell oder universal) in einer logischen Formel; ein syntaktisches Maß zur Quantifizierung der Formelexpressivität, das häufig in der Modelltheorie und bei Approximationen endlicher Modelle verwendet wird.