¿Es posible definir constructivamente un orden total en el conjunto de potencias de la línea real?
Respuesta
¿Demasiados anuncios?Usted no Es consistente con ZF que no hay un ordenamiento lineal deP(R).
Andres Caicedo escribió una respuesta bastante detallada a esto en este hilo de MathOverflow .