El problema de la existencia de bienes ordenamientos analíticamente definibles en un nivel dado de la jerarquía proyectiva es considerado. Este problema es importante como parte del problema general del estudio de la jerarquía proyectiva en el desarrollo continuo de la teoría de conjuntos descriptiva. Hacemos uso de un producto de soporte finito de las nociones de fuerza tipo Jensen para definir un modelo de teoría de conjuntos en el cual, para un dado , existe un buen bien ordenamiento de los reales pero no hay tales bienes ordenamientos en la clase . Por lo tanto, la existencia de un bien ordenamiento de los reales en un cierto nivel de la jerarquía proyectiva no implica la existencia de tal bien ordenamiento en el nivel anterior. Este es un resultado nuevo en tal generalidad (con arbitrario), y podría llevar a un mayor progreso en los estudios de la jerarquía proyectiva.