[FOM] Tarski universes vs Grothendieck universes (correction)

[joeshipman@aol.com]

In my previous post "Historical Queries on AC", I referred to Tarski's 
proof that a "Universes Axiom" implies the Axiom of Choice. However, I 
(and Alama in a post from January 4 on the same subject) should have 
noted that there are two kinds of Universe, a Tarski Universe and a 
Grothendieck Universe, and the proof that Grothendieck Universes 
satisfy Tarski's Axiom itself requires AC. (A Tarski Universe does not 
have to be transitive, and satisfies not only Replacement but also that 
any subset which is not equipollent to the whole Universe is an element 
of the Universe.)

Therefore Tarski's proof that any set contained in a Tarski Universe 
can be well-ordered does not have the metamathematical significance I 
attributed to it, since the more natural Grothendieck Universes axiom 
does not imply AC, as Solovay has pointed out.

-- JS
________________________________________________________________________
More new features than ever.  Check out the new AOL Mail ! - 
http://webmail.aol.com