Consistency Results
One important use of inner models is the proof of consistency results. If it can be shown that every model of an axiom A has an inner model satisfying axiom B, then if A is consistent, B must also be consistent. This analysis is most useful when A is an axiom independent of ZFC, for example a large cardinal axiom; it is one of the tools used to rank axioms by consistency strength.
Read more about this topic: Inner Model Theory
Famous quotes containing the words consistency and/or results:
“The lawyer’s truth is not Truth, but consistency or a consistent expediency.”
—Henry David Thoreau (1817–1862)
“There is ... in every child a painstaking teacher, so skilful that he obtains identical results in all children in all parts of the world. The only language men ever speak perfectly is the one they learn in babyhood, when no one can teach them anything!”
—Maria Montessori (1870–1952)