Model Theory Makes Formulas Large¶
Anuj Dawar, M. G., Kreutzer, S., & Schweikardt, N. (2007). Model Theory Makes Formulas Large.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Quantifier Rank
- Logical depth is sometimes used as a synonym, but it can also refer to other operator depths. Quantifier depth is the safer exact alias because authoritative literature explicitly equates it with quantifier rank.
This sourceUses “quantifier rank (or quantifier depth)” for maximum quantifier nesting and rank-\(k\) types.
- Logical depth is sometimes used as a synonym, but it can also refer to other operator depths. Quantifier depth is the safer exact alias because authoritative literature explicitly equates it with quantifier rank.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:081530233914 · see in the full table