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:
“All religions have honored the beggar. For he proves that in a matter at the same time as prosaic and holy, banal and regenerative as the giving of alms, intellect and morality, consistency and principles are miserably inadequate.”
—Walter Benjamin (18921940)
“Nothing is as difficult as to achieve results in this world if one is filled full of great tolerance and the milk of human kindness. The person who achieves must generally be a one-ideaed individual, concentrated entirely on that one idea, and ruthless in his aspect toward other men and other ideas.”
—Corinne Roosevelt Robinson (18611933)