Équivalence Avec Laxiome Du Choix Dépendant

Voir les liens suivants (à intégrer):

• http://www.math.vanderbilt.edu/~schectex/ccc/excerpts/equivdc.gif
• http://dx.doi.org/10.1016/S0166-8641(99)00132-7
• http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183741848
  • téléchargeable à l'adresse https://www.jstor.org/stable/2274230
• http://www.emis.de/journals/CMUC/pdf/cmuc9904/herkerem.pdf
• http://doi.wiley.com/10.1002/malq.200310039
• http://hubris.free.fr/Numeros/0/choix.html