Ground axiom

In set theory, the ground axiom was introduced by Hamkins (2005) and Reitz (2007). It states that the universe is not a nontrivial set forcing extension of an inner model.

References


This article is issued from Wikipedia - version of the 5/30/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.