Léré

Léré may refer to the following places:

References

Çılğır

Çılğır (also, Çiləqir, Çiləgir, and Chilegir) is a village and municipality in the Khachmaz Rayon of Azerbaijan. It has a population of 609. The municipality consists of the villages of Çılğır and Məncəroba.

References

LR

LR or Lr may refer to:

Codes

Science and technology

Arts

Léré, Burkina Faso

Léré (Burkina) is a village in the Bané Department of Boulgou Province in south-eastern Burkina Faso. As of 2005, the village has a population of 684.

References

Coordinates: 13°41′N 0°03′W / 13.683°N 0.050°W / 13.683; -0.050

Ler (mythology)

Ler (meaning "Sea" in Old Irish; Lir is the genitive form) is a sea god in Irish mythology. His name suggests that he is a personification of the sea, rather than a distinct deity. He is named Allód in early genealogies, and corresponds to the Llŷr of Welsh mythology. Ler is chiefly an ancestor figure, and is the father of the god Manannán mac Lir, who appears frequently in medieval Irish literature. Ler appears as the titular king in the tale The Children of Lir.

Gaelic references

Ler, like his Welsh counterpart, is a god of the sea, though in the case of the Gaelic myths his son Manannán mac Lir seems to take over his position and so features more prominently. It is probable that more myths referring to Ler which are now lost to us existed and that his popularity was greater, especially considering the number of figures called 'son of Ler'.

In the 9th century AD Irish glossary entitled Sanas Cormaic, famed bishop and scholar Cormac mac Cuilennáin makes mention of Manannan and his father Ler, who Cormac identifies with the sea:

L(R)

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

It can be constructed in a manner analogous to the construction of L (that is, Gödel's constructible universe), by adding in all the reals at the start, and then iterating the definable powerset operation through all the ordinals.

Assumptions

In general, the study of L(R) assumes a wide array of large cardinal axioms, since without these axioms one cannot show even that L(R) is distinct from L. But given that sufficient large cardinals exist, L(R) does not satisfy the axiom of choice, but rather the axiom of determinacy. However, L(R) will still satisfy the axiom of dependent choice, given only that the von Neumann universe, V, also satisfies that axiom.

Results

Some additional results of the theory are: