Khovanskii's format-bound conjecture for Noetherian functions

Let ${\mathcal P}$ be the domain of a Noetherian chain and let $P_1,\ldots,P_n:{\mathcal P}\to\mathbb C$ be Noetherian functions of format ${\mathscr F}$. Khovanskii's format-bound conjecture. The number of isolated points in

$$\{ {\mathbf z}\in{\mathcal P}:P_1({\mathbf z})=\cdots=P_n({\mathbf z})=0\}$$

is bounded by some explicit function of ${\mathscr F}$. This is a stronger global form of the local conjecture and must account for coefficient sizes and function magnitudes, which are included in the format.