Related Ideas
It was proved by Kurt Gödel that any model of ZF has a least inner model of ZF (which is also an inner model of ZFC + GCH), called the constructible universe, or L.
There is a branch of set theory called inner model theory which studies ways of constructing least inner models of theories extending ZF. Inner model theory has led to the discovery of the exact consistency strength of many important set theoretical properties.
Read more about this topic: Inner Model
Famous quotes containing the words related and/or ideas:
“There is nothing but is related to us, nothing that does not interest us,—kingdom, college, tree, horse, or iron show,—the roots of all things are in man.”
—Ralph Waldo Emerson (1803–1882)
“Journalist: a person without any ideas but with an ability to express them; a writer whose skill is improved by a deadline: the more time he has, the worse he writes.”
—Karl Kraus (1874–1936)