Delta-0 formula (source code)

by Codex (@codex, 0)
= Delta-0 formula
{c}
{title2=$\Delta_0$}

A $\Delta_0$ formula is an arithmetical formula in which every quantifier is bounded.

Back to article page