Constructible Universe - L Has A Reflection Principle

L Has A Reflection Principle

Proving that the axiom of separation, axiom of replacement, and axiom of choice hold in L requires (at least as shown above) the use of a reflection principle for L. Here we describe such a principle.

By mathematical induction on n<ω, we can use ZF in V to prove that for any ordinal α, there is an ordinal β>α such that for any sentence P(z1,...,zk) with z1,...,zk in Lβ and containing fewer than n symbols (counting a constant symbol for an element of Lβ as one symbol) we get that P(z1,...,zk) holds in Lβ if and only if it holds in L.

Read more about this topic:  Constructible Universe

Famous quotes containing the words reflection and/or principle:

    With some people solitariness is an escape not from others but from themselves. For they see in the eyes of others only a reflection of themselves.
    Eric Hoffer (1902–1983)

    Thus it seemed that this one hillside illustrated the principle of all the operations of Nature. The Maker of this earth but patented a leaf. What Champollion will decipher this hieroglyphic for us, that we may turn over a new leaf at last?
    Henry David Thoreau (1817–1862)