Bell's The Axiom of Choice

A fun talk this afternoon in CMS from John Bell on "The Axiom of Choice in a Constructive Setting", delivered with really engaging zest: went home with renewed enthusiasm to read the rest of Bell's recent book which I started a few days ago (yes, yes, I should be concentrating on writing my book, but that's another story).

If you don't know it, The Axiom of Choice was published last year by College Publications (which is an admirable outfit, publishing some really good logic books at