Wiki for consequences of axiom of choice?
Sorry I just saw this, and thank you @martin-sleziak for informing me of this question!
I'm still investigating what went wrong, but cgraph is back online:
https://cgraph.inters.co
About the original "Consequences of the axiom of choice" website I know Paul Howard was working on a new version (hopefully with cgraph integration), I will try to find out what is the status and post here again. Either way, please feel free to use cgraph, either from the website or by installing the program locally.
Let me know if you need any help, want to offer any help, or you discover any problems either per email or by opening an issue at either repository:
- https://gitlab.common-lisp.net/idimitriou/jeffrey
- https://github.com/ioannad/jeffrey
By the way, I have pledged to maintain cgraph for life, and I am open to suggestions to integrate it with or expand it for any wikis anyone wants to create. Just drop me a line!
Ioanna Dimitriou worked with Paul Howard at some point to create Jeffrey (also here). It used to have a working website, but now it's also not great.
One can install the software locally, or at the very least, one can open the source files on the website and search through them.
Hopefully she'll find a way to make the site operational again for the benefit of set theorists all over the world. And while it is certainly far from a Wiki level, it is at least a good start.
Paul Howard is a colleague of mine here at EMU. Several years ago I asked him if I could try to put his book into an online format (with a database underneath and Ruby on Rails on top).
My progress has stalled on the last 2 years, but you can see what we were able to do at http://104.237.130.142/consequences.
In response to comments below:
The links at the top of the page correspond to different aspects of Paul's book.
In order, the
- articles, authors, journals, books, and excerpts links give information about every one of them listed in the book. if you click on the authors link, for example, you'll see every author listed in the book. click on an author, you'll see information about papers by that author that were cited in the book
- forms link: goes to a page that lists every equivalence class of forms of the axiom of choice. if you click on a specific form, you'll see basic information about that equivalence class.
- models link: goes to a page that has information about each of the models of set theory; click on one of the models, and you'll see, for example, a list of all the forms of the axiom of choice that are known to be true in that model, (each with its own link), a list of all the forms of the axiom of choice that are known to be false in that model), along with a lot more information.
- notes link: Paul and Jean included a lot of little independent proofs of things that they did not find in the literature. This link lists all of the notes, and clicking on any note takes you to the statement and proof
- implications link: Paul and Jean classified the different implications by 6 different types; this page lists all of the implications by type. Each type of implications has its own page; going to that page, and click on an implication, and you'll see information about the forms involved and how that implication was derived
- tools: this was something that Paul had on his site that I reproduced here. You can put in versions of the axiom of choice by number and make little implication arrays, etc.
I hope this helps; I apologize for the length.