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 (19021983)
“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 (18171862)