In set theory, a branch of mathematics, a reflection principle says that it is possible to find sets that resemble the class of all sets. There are several different forms of the reflection principle depending on exactly what is meant by "resemble". Weak forms of the reflection principle are theorems of ZF set theory due to Montague (1961), while stronger forms can be new and very powerful axioms for set theory.
The name "reflection principle" comes from the fact that properties of the universe of all sets are "reflected" down to a smaller set.
A naive version of the reflection principle states that "for any property of the universe of all sets we can find a set with the same property". This leads to an immediate contradiction: the universe of all sets contains all sets, but there is no set with the property that it contains all sets. To get useful (and non-contradictory) reflection principles we need to be more careful about what we mean by "property" and what properties we allow.
To find non-contradictory reflection principles we might argue informally as follows. Suppose that we have some collection A of methods for forming sets (for example, taking powersets, subsets, the axiom of replacement, and so on). We can imagine taking all sets obtained by repeatedly applying all these methods, and form these sets into a class V, which can be thought of as a model of some set theory. But now we can introduce the following new principle for forming sets: "the collection of all sets obtained from some set by repeatedly applying all methods in the collection A is also a set". If we allow this new principle for forming sets, we can now continue past V, and consider the class W of all sets formed using the principles A and the new principle. In this class W, V is just a set, closed under all the set-forming operations of A. In other words, the universe W contains a set V that resembles W in that it is closed under all the methods A.
We can use this informal argument in two ways. We can try to formalize it in (say) ZF set theory; by doing this we obtain some theorems of ZF set theory, called reflection theorems. Alternatively we can use this argument to motivate introducing new axioms for set theory.
Reflection principles are associated with attempts to formulate the idea that no one notion, idea, statement can capture our whole view of the universe of sets. Kurt Gödel described it as follows:
The universe of all sets is structurally indefinable. One possible way to make this statement precise is the following: The universe of sets cannot be uniquely characterized (i.e., distinguished from all its initial segments) by any internal structural property of the membership relation in it which is expressible in any logic of finite or transfinite type, including infinitary logics of any cardinal number. This principle may be considered a generalization of the closure principle.— 8.7.3, p. 280
All the principles for setting up the axioms of set theory should be reducible to Ackermann's principle: The Absolute is unknowable. The strength of this principle increases as we get stronger and stronger systems of set theory. The other principles are only heuristic principles. Hence, the central principle is the reflection principle, which presumably will be understood better as our experience increases. Meanwhile, it helps to separate out more specific principles which either give some additional information or are not yet seen clearly to be derivable from the reflection principle as we understand it now.— 8.7.9, p. 283
Generally I believe that, in the last analysis, every axiom of infinity should be derivable from the (extremely plausible) principle that V is indefinable, where definability is to be taken in [a] more and more generalized and idealized sense.— 8.7.16, p. 285
In trying to formalize the argument for the reflection principle of the previous section in ZF set theory, it turns out to be necessary to add some conditions about the collection of properties A (for example, A might be finite). Doing this produces several closely related "reflection theorems" of ZFC all of which state that we can find a set that is almost a model of ZFC.
One form of the reflection principle in ZFC says that for any finite set of axioms of ZFC we can find a countable transitive model satisfying these axioms. (In particular this proves that, unless inconsistent, ZFC is not finitely axiomatizable because if it were it would prove the existence of a model of itself, and hence prove its own consistency, contradicting Gödel's second incompleteness theorem.) This version of the reflection theorem is closely related to the Löwenheim–Skolem theorem.
Another version of the reflection principle says that for any finite number of formulas of ZFC we can find a set Vα in the cumulative hierarchy such that all the formulas in the set are absolute for Vα (which means very roughly that they hold in Vα if and only if they hold in the universe of all sets). So this says that the set Vα resembles the universe of all sets, at least as far as the given finite number of formulas is concerned. In particular for any formula of ZFC there is a theorem of ZFC that the formula is logically equivalent to a version of it with all quantifiers relativized to Vα. See (Jech 2002, p. 168).
where denotes the relativization of to (that is, replacing all quantifiers appearing in of the form and by and , respectively).
As new axioms
Bernays class theory
Paul Bernays used a reflection principle as an axiom for one version of set theory (not Von Neumann–Bernays–Gödel 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 that has the same property, in other words that is an inaccessible cardinal.) Unfortunately, this cannot be axiomatized directly in ZFC, and a class theory like Morse–Kelley set theory normally has to be used. The consistency of Bernays's reflection principle is implied by the existence of an ω-Erdős cardinal.
More precisely, the axioms of Bernays' class theory are:
- class specification: for any formula without free,
- reflection: for any formula ,
where denotes the powerset.
for any formula without free, where asserts that is transitive. Starting with the observation that set parameters can appear in and can be required to contain them by introducing clauses into , Bernays just with this schema established pairing, union, infinity, and replacement, in effect achieving a remarkably economical presentation of ZF.
Some formulations of Ackermann set theory use a reflection principle.
Peter Koellner showed that a general class of reflection principles deemed "intrinsically justified" are either inconsistent or weak, in that they are consistent relative to the Erdös cardinal. However, there are 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. An example of this is the wholeness axiom, which implies the existence of super-n-huge cardinals for all finite n and its consistency is implied by an I3 rank-into-rank cardinal.
Add an axiom saying that Ord is a Mahlo cardinal — for every closed unbounded class of ordinals C (definable by a formula with parameters), there is a regular ordinal in C. This allows one to derive the existence of strong inaccessible cardinals and much more over any ordinal.
- Welch, Philip D. (12 November 2019). "Proving Theorems from Reflection". Reflections on the Foundations of Mathematics. Springer, Cham. pp. 79–97. ISBN 978-3-030-15655-8.
- Wang, Hao (March 25, 2016). A Logical Journey: From Gödel to Philosophy. Bradford Books. pp. 280–285. ISBN 978-0262529167.
- "Section 3.8 (000F): Reflection principle". The Stacks Project. 2022. Retrieved 7 September 2022.
- Marshall R., M. Victoria (1989). "Higher order reflection principles". The Journal of Symbolic Logic. 54 (2): 474–489. doi:10.2307/2274862. Retrieved 9 September 2022.
- Kanamori, Akihiro (March 2009). "Bernays and Set Theory". The Bulletin of Symbolic Logic. 15 (1): 43–69. doi:10.2178/bsl/1231081769. Retrieved 9 September 2022.
- Koellner, Peter (February 2009). "On reflection principles". Annals of Pure and Applied Logic. 157 (2): 206–219. doi:10.1016/j.apal.2008.09.007. Retrieved 9 September 2022.
- Corazza, Paul (2000). "The Wholeness Axiom and Laver Sequences". Annals of Pure and Applied Logic. 105: 157–260. doi:10.1016/s0168-0072(99)00052-4.
- Jech, Thomas (2002), Set theory, third millennium edition (revised and expanded), Springer, ISBN 3-540-44085-2
- Kunen, Kenneth (1980), Set Theory: An Introduction to Independence Proofs, North-Holland, ISBN 0-444-85401-0
- Lévy, Azriel (1960), "Axiom schemata of strong infinity in axiomatic set theory", Pacific Journal of Mathematics, 10: 223–238, doi:10.2140/pjm.1960.10.223, ISSN 0030-8730, MR 0124205
- Montague, Richard (1961), "Fraenkel's addition to the axioms of Zermelo", in Bar-Hillel, Yehoshua; Poznanski, E. I. J.; Rabin, M. O.; Robinson, Abraham (eds.), Essays on the foundations of mathematics, Hebrew Univ., Jerusalem: Magnes Press, pp. 91–114, MR 0163840
- Reinhardt, W. N. (1974), "Remarks on reflection principles, large cardinals, and elementary embeddings.", Axiomatic set theory, Proc. Sympos. Pure Math., vol. XIII, Part II, Providence, R. I.: Amer. Math. Soc., pp. 189–205, MR 0401475