Use
Usually when one talks about inner models of a theory, the theory one is discussing is ZFC or some extension of ZFC (like ZFC + a measurable cardinal). When no theory is mentioned, it is usually assumed that the model under discussion is an inner model of ZFC. However, it is not uncommon to talk about inner models of subtheories of ZFC (like ZF or KP) as well.
Read more about this topic: Inner Model
Famous quotes containing the word use:
“... it is use, and use alone, which leads one of us, tolerably trained to recognize any criterion of grace or any sense of the fitness of things, to tolerate ... the styles of dress to which we are more or less conforming every day of our lives. Fifty years hence they will seem to us as uncultivated as the nose-rings of the Hottentot seem today.”
—Elizabeth Stuart Phelps (1844–1911)