Proceedings of the American Mathematical Society · 1975 · 29 citations · 0 references
Natural SciencesMathematicsLogicPhilosophy Of MathematicsSet TheoryAxiom Of ChoiceAxiomatic Set TheoryIntuitionistic LogicModel Theory
It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical one.