« first day (1955 days earlier)      last day (2537 days later) » 

Martin Sleziak
Martin Sleziak
9:48 AM

Consequences of AC website is down

Nov 3 '15 at 15:04, 1 day 3 hours total – 17 messages, 3 users, 0 stars

Bookmarked Nov 6 '15 at 14:50 by Martin Sleziak

The site consequences.emich.edu seems to be offline again. This link math.purdue.edu/~hrubin/JeanRubin/Papers/conseq.html is working, but when I try to enter some of the forms, I receive error after submitting the query.
 
Martin Sleziak
Martin Sleziak
10:23 AM
1
Q: What is current status of Consequences of Axiom of Choice website?

Martin SleziakThe book is Consequences of the Axiom of Choice is (or at least used to be) accompanied by a website with large database of various forms of consequences of AC together with possibility of searching for models where these forms hold/do not hold etc. This was certainly a userul As far as I remem...

set-theory axiom-of-choice online-resources
This is back from 2015:
Andres, I gather you're in Ann Arbor now. Do you think there is a chance to stabilize this wonderful resource in the near future? — François G. Dorais ♦ Sep 13 '15 at 4:36
Hi @François. It's been in my radar but I've been procrastinating about this. I'll look into it more seriously. — Andrés E. Caicedo Sep 13 '15 at 15:47
 

« first day (1955 days earlier)      last day (2537 days later) »