[FOM] Use of AC

[Thomas Forster]

Gergely

     No offence taken either.  I am preparing the final version 
of an Introduction to the Axioms of Set Theory that contains a 
chapter that is precisely the 20--30-page treatment of AC that 
you seek.  (At least, that's what it's intended to be!!)  It's 
on www.dpmms.cam.ac.uk/~tf/axiomsofsettheory.pdf. I'm sending it 
off to Cambridge University Press in the next few weeks. Comments 
from listmembers welcome

On Sat, 15 Aug 
2009, Gergely Buday wrote:

> 2009/8/10 Thomas Forster <T.Forster at dpmms.cam.ac.uk>:
> 
> > This is spiralling out of control, so this will be my last post. Implicit
> > use of AC is everywhere, of course.  What is not everywhere is the kind of
> > understanding of AC that FOM listmembers have. Arnon's illustration is a
> > good one.  I ask: how many of the people who learn this fact as u/gs can
> > identify and explain the use of DC in its proof?  Precious few, i bet.
> 
> There might be a problem with textbooks. What I see is that either
> they are too technical for a broader audience and deal with
> specialists' material or cover the question very shallowly (yes, even
> yours, pp. 205-208 in Logic, Induction and Sets, no offense meant). I
> said "what I see" - is there a 20-30 pages introduction to the subject
> that is readable for the non-specialist?
> 
> - Gergely
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
> 

-- 
URL:  www.dpmms.cam.ac.uk/~tf; 
DPMMS ph: +44-1223-337981; 
UEA ph:  +44-1603-592719
Cant'y office fone: x 8152
mobile in UK +44-7887-701-562; 
mobile in NZ +64-210580093.