TY  - RPRT
TI  - Algèbres de réalisabilité: un programme pour bien ordonner R
AU  - Jean-Louis Krivine
PY  - 2010
UR  - https://arxiv.org/abs/1002.3438
ID  - 1002.3438
ER  -