Commit 30a2e79d authored by ioa's avatar ioa

added link to book

parent 8daf9b9c
......@@ -9,4 +9,7 @@
<p> An arrow from A to B means that A implies B. <br/>
A boldfaced arrow from A to B moreover means that B does not imply A in ZF, so the arrow is provably not reversible in ZF. </p>
<p> For the moment, please look up the references to these implications at the <strong>Consequences of the Axiom of Choice Project</strong> (link tba). If the image is too small, right click and select 'Show image' (or similar), or resize your browser window.</p>
<p>If the image is too small, right click and select 'Show image' (or similar), or resize your browser window.</p>
<p> For the moment, please look up the references to these implications at the <a href="http://bookstore.ams.org/surv-59"><strong>Consequences of the Axiom of Choice Project book</strong></a>.</p>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment