Reflection principle


In set theory, a branch of mathematics, a reflection principle says that it is possible to find sets that, with respect to any given property, 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 Zermelo–Fraenkel set theory due to, 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.

Motivation

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 reflection principles we need to be more careful about what we mean by "property" and what properties we allow.
Reflection principles are associated with attempts to formulate the idea that no one notion, idea, or statement can capture our whole view of the universe of sets. Kurt Gödel described it as follows:
Georg Cantor expressed similar views on absolute infinity: All cardinality properties are satisfied in this number, in which held by a smaller cardinal.
To find non-contradictory reflection principles we might argue informally as follows. Suppose that we have some collection A of methods for forming sets. We can imagine taking all sets obtained by repeatedly applying all these methods, and form these sets into a class X, which can be thought of as a model of some set theory. But in light of this view, V is not exhaustible by a handful of operations, otherwise it would be easily describable from below, this principle is known as inexhaustibility. As a result, V is larger than X. Applying the methods in A to the set X itself would also result in a collection smaller than V, as V is not exhaustible from the image of X under the operations in A. Then 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". After adding this principle to A, V is still not exhaustible by the operations in this new A. This process may be repeated further and further, adding more and more operations to the set A and obtaining larger and larger models X. Each X resembles V in the sense that it shares the property with V of being closed under the operations in A.
We can use this informal argument in two ways. We can try to formalize it in ZF; by doing this we obtain some theorems of ZF, called reflection theorems. Alternatively we can use this argument to motivate introducing new axioms for set theory, such as some axioms asserting existence of large cardinals.

In ZFC

In trying to formalize the argument for the reflection principle of the previous section in ZF, it turns out to be necessary to add some conditions about the collection of properties A. Doing this produces several closely related "reflection theorems" all of which state that we can find a set that is almost a model of ZFC. In contrast to stronger reflection principles, these are provable in ZFC.
One of the most common reflection principles for ZFC is a theorem schema that can be described as follows: for any formula with parameters, if is true, then there is a level of the cumulative hierarchy such that. This is known as the Lévy–Montague reflection principle, or the Lévy reflection principle, principally investigated in and. Another version of this reflection principle says that for any finite number of formulas of ZFC we can find a set in the cumulative hierarchy such that all the formulas in the set are absolute for . So this says that the set resembles the universe of all sets, at least as far as the given finite number of formulas is concerned.
Another reflection principle for ZFC is a theorem schema that can be described as follows: Let be a formula with at most free variables. Then ZFC proves that
where denotes the relativization of to .
Another 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. This version of the reflection theorem is closely related to the Löwenheim–Skolem theorem.
If is a strong inaccessible cardinal, then there is a closed unbounded subset of, such that for every, is an elementary substructure of.

As new axioms

Large cardinals

Reflection principles are connected to and can be used to motivate large cardinal axioms. Reinhardt gives the following examples, using Cantor's informal notion of absolute infinity in place of the universe of sets:

Bernays class theory

used a reflection principle as an axiom for one version of set theory. His reflection principle stated roughly that if is a class with some property, then one can find a transitive set such that has the same property when considered as a subset of the "universe". This is quite a powerful axiom and implies the existence of several of the smaller large cardinals, such as inaccessible cardinals. 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:
  1. extensionality
  2. class specification: for any formula without free,
  3. subsets:
  4. reflection: for any formula,
  5. foundation
  6. choice
where denotes the powerset.
According to Akihiro Kanamori, in a 1961 paper, Bernays considered the reflection schema
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.

Others

Some formulations of Ackermann set theory use a reflection principle. Ackermann's axiom states that, for any formula not mentioning,
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, there is a regular ordinal in C. This allows one to derive the existence of strong inaccessible cardinals and much more over any ordinal.

For arithmetic

Reflection principles may be considered for theories of arithmetic, which are generally much weaker than ZFC.

Soundness

Let denote Peano arithmetic, and denote the set of true sentences in the language of PA that are in the arithmetical hierarchy. Mostowski's reflection theorem states that for each natural number, proves the consistency of. As each set is -definable, this must be expressed as a theorem schema.p. 4 These soundness principles are sometimes referred to as syntactic reflection principles, in contrast to the satisfaction-based varieties mentioned above, which are called semantic reflection principles.p. 1
The local reflection principle for a theory is the schema that for each sentence of the language of,. When denotes the restricted version of the principle only considering those in a class of formulas, we have that and are equivalent over.p. 205
The uniform reflection principle for a theory is the schema that for each natural number,, where is the union of the sets of Gödel-numbers of and formulas, and is with its free variables replaced with numerals, etc. in the language of Peano arithmetic, and is the partial truth predicate for formulas.p. 205

Model reflection

For, a -model is a model that has the correct truth values of statements, where is at the th level of the analytical hierarchy. A countable -model of a subsystem of second-order arithmetic consists of a countable set of sets of natural numbers, which may itself be encoded as a subset of. The theory proves the existence of a -model, also known as a -model.Theorem VII.2.16
The -model reflection principle for formulas states that for any formula with as its only free set variable, for all, if holds, then there is a countable coded -model where such that. An extension of by a schema of dependent choice is axiomatized. For any, the system is equivalent to -reflection for formulas.Theorem VII.7.6
-model reflection has connections to set-theoretic reflection, for example over the weak set theory KP, adding the schema of reflection of -formulas to transitive sets yields the same -consequeneces as plus a schema of -model reflection for formulas.