Key points are not available for this paper at this time.
It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical one.
Radu Diaconescu (1975) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: