Dear FOM's Given ZF, I wonder what would be the strength/compatibility with other principles of adding as a new axiom the well ordering of the reals. Has any work been done on this subject? Regards from sunny Lisbon A.J. Franco de Oliveira R. Arneiros 28, 3º C 1500-059 LISBOA PORTUGAL Tel. 217604665, Tlm. 919807966