¿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 de$\mathcal P(\mathbb R)$.
Andres Caicedo escribió una respuesta bastante detallada a esto en este hilo de MathOverflow .