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 [2015/08/25 22:47] nikolaj |
set_universe [2015/08/25 22:48] nikolaj |
||
---|---|---|---|
Line 7: | Line 7: | ||
----- | ----- | ||
=== Discussion === | === 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}$. | ||
- | === Elaboration === | ||
A set universe contains a model for the natural numbers, their powerset, the powersets of those etc. etc. I didn't specify //what's not// in such a universe, but for doing "normal non-foundational mathematics", one hardly ever needs anything that goes beyond a set obtained by a finite number of iterations of the applications of the power set operation on $\omega_{\mathcal N}$. | A set universe contains a model for the natural numbers, their powerset, the powersets of those etc. etc. I didn't specify //what's not// in such a universe, but for doing "normal non-foundational mathematics", one hardly ever needs anything that goes beyond a set obtained by a finite number of iterations of the applications of the power set operation on $\omega_{\mathcal N}$. | ||