Essentially Sigma-1 formulae in Sigma L Jacob Vosmaer Abstract: The essentially $\Sigma_1$ formulae of $\Sigma$L are exactly those which are provably equivalent to a disjunction of conjunctions of $\Box$ and $\Sigma_1$ formulae.