Two forms of the axiom of choice for an elementary topos
scientific article