Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness

Abstract

We introduce an apparent strengthening of Sufficient Cohesion that we call Stable Connected Codiscreteness (SCC) and show that if $p: E --> S$ is cohesive and satisfies SCC then the internal axiom of choice holds in $S$. Moreover, in this case, $p^!: S --> E$ is equivalent to the inclusion $E_{\neg\neg} --> E$.