Barbarella is a film from 1968.
In set theory , the core model is a definable inner model of the universe of all sets .. set theory. set theory. inner model. inner model. universe. von Neumann universe. sets. Set ( mathematics ). Even though set theorists refer to `` the core model '' , it is not a uniquely identified mathematical object .. Rather , it is a class of inner models that under the right set theoretic assumptions have very special properties , most notably covering properties .. covering properties. covering lemma. Intuitively , the core model is `` the largest canonical inner model there is '' -LRB- Ernest Schimmerling and John R. Steel -RRB- and is typically associated with a large cardinal notion .. inner model. inner model. John R. Steel. John R. Steel. large cardinal. large cardinal. If Φ is a large cardinal notion , then the phrase `` core model below Φ '' refers to the definable inner model that exhibits the special properties under the assumption that there does not exist a cardinal satisfying Φ .. inner model. inner model. large cardinal. large cardinal. The core model program seeks to analyze large cardinal axioms by determining the core models below them .. large cardinal. large cardinal