Examples of diagrams

Examples of diagrams created by the Choiceless Grapher

Scroll down for the full diagram. Hover over each image for a description.

The first 10 HR. forms.

HR.0 to HR.22.

A project I had as a logic student at the ILLC, included (then manually) creating a diagram of these forms, and researching each node's compatibility with the axiom of determinacy (AD).

The forms in section 'Alephs and their properties' of the book 'Consequences of the Axiom of Choice'.

A graph of the descendants of HR.132 (web-feature tba)

The full diagram, of all the ZF-data in the Consequences of the Axiom of Choice project, using only number labels. With fancy labels it's very hard to render.

A collection of 10 pseudorandomly generated consequences of AC (web-feature tba).