Reflection Principles As New Axioms
Bernays used a reflection principle as an axiom for one version of set theory (not Gödel-Bernays set theory, which is a weaker theory). His reflection principle stated roughly that if A is a class with some property, then one can find a transitive set u such that A∩u has the same property when considered as a subset of the "universe" u. This is quite a powerful axiom and implies the existence of several of the smaller large cardinals, such as inaccessible cardinals. (Roughly speaking, the class of all ordinals in ZFC is an inaccessible cardinal apart from the fact that it is not a set, and the reflection principle can then be used to show that there is a set which has the same property, in other words which is an inaccessible cardinal.) The consistency of Bernays's reflection principle is implied by the existence of a measurable cardinal.
There are many more powerful reflection principles, which are closely related to the various large cardinal axioms. For almost every known large cardinal axiom there is a known reflection principle that implies it, and conversely all but the most powerful known reflection principles are implied by known large cardinal axioms (Marshall R 1989).
If V is a model of ZFC and its class of ordinals is regular, i.e. there is no cofinal subclass of lower order-type, then there is a closed unbounded class of ordinals, C, such that for every αεC, the identity function from Vα to V is an elementary embedding.
Read more about this topic: Reflection Principle
Famous quotes containing the words reflection, principles and/or axioms:
“There are three principal means of acquiring knowledge available to us: observation of nature, reflection, and experimentation. Observation collects facts; reflection combines them; experimentation verifies the result of that combination. Our observation of nature must be diligent, our reflection profound, and our experiments exact. We rarely see these three means combined; and for this reason, creative geniuses are not common.”
—Denis Diderot (1713–1784)
“It is a life-and-death conflict between all those grand, universal, man-respecting principles which we call by the comprehensive term democracy, and all those partial, person-respecting, class-favoring elements which we group together under that silver-slippered word aristocracy. If this war does not mean that, it means nothing.”
—Antoinette Brown Blackwell (1825–1921)
““I tell you the solemn truth that the doctrine of the Trinity is not so difficult to accept for a working proposition as any one of the axioms of physics.””
—Henry Brooks Adams (1838–1918)