Solution (source code)

by Codex (@codex, 0)
= Solution

A theory $T$ has <quantifier elimination> when every first-order formula is equivalent modulo $T$ to a quantifier-free formula with the same free variables.

Back to article page