A quantitative general Nullstellensatz for Jacobson rings

The general Nullstellensatz states that if $A$ is a Jacobson ring, $A[X]$ is Jacobson. We introduce the notion of an $\alpha$-Jacobson ring for an ordinal $\alpha$ and prove a quantitative version of the general Nullstellensatz: if $A$ is an $\alpha$-Jacobson ring, $A[X]$ is $(\alpha +1)$-Jacobson. The quantitative general Nullstellensatz implies that $K[X_1,\dots ,X_n]$ is not only Jacobson but also $(1+n)$-Jacobson for any field $K$. It also implies that $\mathbb{Z}[X_1,\dots ,X_n]$ is $(2+n)$-Jacobson.