Theorem 3.5.4 (Moore [1]}) 
Let \(T\)  be the \(\in _{\Delta _0}\cup \left\lbrace \omega _1,c,A \right\rbrace \) -theory
\(\mathsf {ZF}_{\Delta _0}+\psi _{\aleph _1}(\omega _1)+\psi _{\mathrm {countpartstat}}(A,\omega _1)+\psi _{\mathrm {ladder}}(c,\omega _1).\) 
