Ground axiom

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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[edit]