Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
set_universe [2014/12/07 22:00] nikolaj |
set_universe [2015/08/25 22:47] nikolaj |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| | @#55EE55: postulate | @#55EE55: $\omega_{\mathcal N}\subseteq {\mathfrak U}_\mathrm{Sets}$ | | | @#55EE55: postulate | @#55EE55: $\omega_{\mathcal N}\subseteq {\mathfrak U}_\mathrm{Sets}$ | | ||
| - | ==== Discussion ==== | + | ----- |
| - | === Idea === | + | === Discussion === |
| + | == Idea == | ||
| A set universe ${\mathfrak U}_\mathrm{Sets}$ is a Grothendieck universe containing all sets generated by the [[first infinite von Neumann ordinal]] $\omega_{\mathcal N}$. | A set universe ${\mathfrak U}_\mathrm{Sets}$ is a Grothendieck universe containing all sets generated by the [[first infinite von Neumann ordinal]] $\omega_{\mathcal N}$. | ||
| Line 30: | Line 31: | ||
| * ${\mathfrak U}_\mathrm{Sets}$ in the object language, which easily lets one define a category of sets, [[Set]]. | * ${\mathfrak U}_\mathrm{Sets}$ in the object language, which easily lets one define a category of sets, [[Set]]. | ||
| - | ==== Parents ==== | + | ----- |
| === Requirements === | === Requirements === | ||
| [[Grothendieck universe]], [[First infinite von Neumann ordinal]] | [[Grothendieck universe]], [[First infinite von Neumann ordinal]] | ||
