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:
“With respect to a true culture and manhood, we are essentially provincial still, not metropolitan,—mere Jonathans. We are provincial, because we do not find at home our standards; because we do not worship truth, but the reflection of truth; because we are warped and narrowed by an exclusive devotion to trade and commerce and manufacturers and agriculture and the like, which are but means, and not the end.”
—Henry David Thoreau (1817–1862)
“Ah, I fancy it is just the same with most of what you call your “emancipation.” You have read yourself into a number of new ideas and opinions. You have got a sort of smattering of recent discoveries in various fields—discoveries that seem to overthrow certain principles which have hitherto been held impregnable and unassailable. But all this has only been a matter of intellect, Miss West—superficial acquisition. It has not passed into your blood.”
—Henrik Ibsen (1828–1906)
“The axioms of physics translate the laws of ethics. Thus, “the whole is greater than its part;” “reaction is equal to action;” “the smallest weight may be made to lift the greatest, the difference of weight being compensated by time;” and many the like propositions, which have an ethical as well as physical sense. These propositions have a much more extensive and universal sense when applied to human life, than when confined to technical use.”
—Ralph Waldo Emerson (1803–1882)