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 respect to a true culture and manhood, we are essentially provincial still, not metropolitan,—mere Jonathans. We are provincial, because we do not find at home our standards; because we do not worship truth, but the reflection of truth; because we are warped and narrowed by an exclusive devotion to trade and commerce and manufacturers and agriculture and the like, which are but means, and not the end.”
—Henry David Thoreau (1817–1862)
“Thou art blind to the danger of marrying a woman who feels and acts out the principle of equal rights.”
—Angelina Grimké (1805–1879)