El libro Consecuencias del Axioma de Elección por Paul Howard y Jean E. Rubin es (o al menos solía ser), acompañado por un sitio web con una gran base de datos de las diversas formas de las consecuencias de la AC, que también incluía la posibilidad de la búsqueda de modelos donde estas formas pulsado/no pulsado, implicación entre las formas, etc. Este fue sin duda un recurso útil para las personas interesadas en este tema.
Que yo recuerde, el sitio web que solía ser http://consequences.emich.edu o consequences.emich.edu/conseq.htm. (Al menos eso es lo que he encontrado en mi historial del navegador). Más recientemente vi los enlaces a https://www.math.purdue.edu/~hrubin/JeanRubin/Papers/conseq.html Usted puede ver que este sitio web ha sido mencionado en varios puestos tanto aquí y en MathOverflow. (El último, se produce menos, tanto aquí y en MO, probablemente porque es más reciente.) Los links se han mencionado en los comentarios, tanto aquí y en MO.
Sin embargo, el sitio web que se utiliza para tener algunos problemas ya en el pasado. Por el momento, parece que sólo uno de los dos link funciona. Pero a pesar de que el sitio web es accesible, el real de la búsqueda de formas o modelos sólo devuelve errores.
Así que lo que quiero preguntar es:
- Hay algunas alternativas que contengan la misma base de datos? ¿El sitio web se trasladó a una nueva url no me doy cuenta?
- ¿Alguien sabe acerca de los planes para revivir estos sitios web?
- ¿Hay alguna posibilidad de utilizar la base de datos sin conexión? (La descripción del libro en la AMS de la librería menciona un software que viene con el libro. Está libremente disponible?)
