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:
“The American, if he has a spark of national feeling, will be humiliated by the very prospect of a foreigner’s visit to Congress—these, for the most part, illiterate hacks whose fancy vests are spotted with gravy, and whose speeches, hypocritical, unctuous, and slovenly, are spotted also with the gravy of political patronage, these persons are a reflection on the democratic process rather than of it; they expose it in its process rather than of it; they expose it in its underwear.”
—Mary McCarthy (1912–1989)
“It is funny that men who are supposed to be scientific cannot get themselves to realise the basic principle of physics, that action and reaction are equal and opposite, that when you persecute people you always rouse them to be strong and stronger.”
—Gertrude Stein (1874–1946)