The book Consequences of the Axiom of Choice by Paul Howard and Jean E. Rubin is (or at least used to be) accompanied by a website with a large database of various forms of consequences of AC, which also included the possibility of searching for models where these forms hold/do not hold, implication between the forms etc. This was certainly a useful resource for people interested in this topic.
As far as I remember, the website used to be http://consequences.emich.edu or http://consequences.emich.edu/conseq.htm. (At least that's what I found in my browser history.) More recently I saw links to https://www.math.purdue.edu/~hrubin/JeanRubin/Papers/conseq.html You can see that these websites have been mentioned in several posts both here and on MathOverflow. (The latter occurs less often, both here and at MO, probably because it is more recent.) The links were mentioned in comments, both here and at MO.
However, the website used to have some problems already in the past. At the moment, it seems that only one of the two links works. But even though the website is accessible, the actual searching for forms or models only returns errors.
So what I want to ask is:
- Are there some alternatives containing the same database? Did the website moved to a new url I am unaware of?
- Does anybody know about plans to revive these websites?
- Is there some possibility to use the database offline? (The description of the book at AMS bookstore mentions a software which comes with the book. Is it freely available?)
A revamped database, called "Choiceless Grapher" is now available: https://cgraph.inters.co/.
The data and code for the website are available at https://github.com/ioannad/jeffrey
This website has been created by Ioanna M. Dimitriou along with Paul Howard. Maybe interesting for future readers (in case sites go down again), here and here are some blog posts by Ioanna M. Dimitrou on creating this revamped website.