# Logical characterization of $NC^1$

Morioka in his 2005 dissertation [1] referenced "On Uniformity within $$NC^1$$" by Barrington, Immerman, and Straubing. Using the following statement:

Every $$\mathbf{NC^1}$$-predicate is computed by a Dlogtime-uniform family of polynomial-size propositional formulas

This sentence is essential to defining a reduction from an $$\mathbf{NC^1}$$ function to the $$\Sigma_1^q$$-witnessing problem for $$G_0$$, however I'm not able to understand how this statement was reached from the original paper, either I'm missing something important here or my expertise in circuit complexity is just not enough, can someone intuitively explain how this sentence came to be?

• This seems like a definition of uniform $\mathsf{NC^1}$. The cited paper shows that two proposals for defining uniform versions of $\mathsf{NC^1}$ are equivalent. – Yuval Filmus Jun 20 '19 at 13:10

Throughout this paper we write $$\mathbf{NC^1}$$ to mean $$\mathbf{Dlogtime}$$-uniform $$\mathbf{NC^1}$$, which is equivalent to the class $$\mathbf{Alogtime}$$ of languages accepted by an alternating Turing machine in $$O(\log n)$$ time.