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:
“The American, if he has a spark of national feeling, will be humiliated by the very prospect of a foreigner’s visit to Congress—these, for the most part, illiterate hacks whose fancy vests are spotted with gravy, and whose speeches, hypocritical, unctuous, and slovenly, are spotted also with the gravy of political patronage, these persons are a reflection on the democratic process rather than of it; they expose it in its process rather than of it; they expose it in its underwear.”
—Mary McCarthy (1912–1989)
“Unless democracy is to commit suicide by consenting to its own destruction, it will have to find some formidable answer to those who come to it saying: “I demand from you in the name of your principles the rights which I shall deny to you later in the name of my principles.””
—Walter Lippmann (1889–1974)
““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)