Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Grothendieck universe
Replies: 5   Last Post: May 22, 2013 5:41 PM

 Messages: [ Previous | Next ]
 William Elliot Posts: 2,637 Registered: 1/8/12
Grothendieck universe
Posted: May 21, 2013 4:51 AM

A Grothendieck universe is a set G of ZFG with the axioms:

for all A in G, B in A, B in G,
for all A,B in G, { A,B } in G,
for all A in G, P(A) in G,
I in G, for all j in I, Aj in G implies \/{ Aj | j in I } in G.

The following are theorem of G:

for all A in G, {A} in G,
for all B in G, if A subset B then A in G,
for all A in G, A /\ B, A / B in G,
for all A,B in G, (A,B) = { {A,B}, {B} } in G.

Are the following theorems or need they be axioms?
If theorems, what would be a proof?

For all A,B in G, AxB = { (a,b) | a in A, b in B } in G.

I in G, for all j in I, Aj in G implies prod_j Aj in G.

For all A in G, |A| < |G|.

Is there any not empty Grothendieck universes.

----

Date Subject Author
5/21/13 William Elliot
5/21/13 fom
5/21/13 William Elliot
5/21/13 fom
5/22/13 William Elliot
5/22/13 fom