In set theory, L(R) (pronounced L of R) is the smallest transitive inner model of ZF containing all the ordinals and all the reals. == Construction == L(R) can be constructed in a manner analogous to the construction of Gödel's constructible universe, L, by adding in all the reals at the start, and then iterating the definable powerset operation through all the ordinals.
In set theory, L(R) (pronounced L of R) is the smallest transitive inner model of ZF containing all the ordinals and all the reals. == Construction == L(R) can be constructed in a manner analogous to the construction of Gödel's constructible universe, L, by adding in all the reals at the start, and then iterating the definable powerset operation through all the ordinals.
Source: Wikipedia "L(R)" · CC BY-SA 4.0
Share this article: X · Bluesky