[FOM] Bases of vector spaces

[Thomas Forster]

We can deduce from AC the assertion that every vector space has a basis 
and that the bases all have the same size.  One of my students pointed
out to me that Wikipedia claims that this uniqueness of size of basis
(= dimension) is actually equivalent to the Prime ideal theorem.  Is the 
author of the wikipedia article on this list by any chance?  Failing that, 
can anyone supply a proof?  (I asked Andreas Blass but he was away from 
his papers)

     Thomas Forster



-- 
URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph:
+44-1223-337981. Mobile +44-7887-701-562.