|
| Sy Friedman (Site not responding. Last check: 2007-10-09) |
 | | One attractive way is to adjoin the axiom V=L, asserting that every set is constructible. |
 | | This axiom has many desirable consequences, such as the generalised continuum hypothesis, the existence of a definable wellordering of the class of all sets, as well as strong combinatorial principles, such as Diamond, Square and Morass. |
 | | As many interesting set-theoretic statements have consistency strength beyond ZFC, it is now common in set theory to assume the existence of ``large'' inner models of the set-theoretic universe, i.e., inner models containing large cardinals. |
| www.math.cas.cz /~krajicek/sy05.html (244 words) |
|