The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » sci.math.* » sci.math

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
William Elliot

Posts: 2,637
Registered: 1/8/12
Grothendieck universe
Posted: May 21, 2013 4:51 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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.


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.