58 citations · 83 across the 6 of their papers we have counts for
1 paper · 1 filter
Peter Aczel, Benno van den Berg, Johan Granstroem +1
The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough…