Richard Joseph Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory. Laver received his PhD at the University...

In mathematics, Laver tables (named after Richard Laver, who discovered them towards the end of the 1980s in connection with his works on set theory)...

Rodney George Laver AC MBE (born 9 August 1938) is an Australian former tennis player. Laver was ranked the world number 1 professional player indisputably...

of laver seaweed as food is thought to be very ancient, though the first mention was in William Camden's Britannia in the early 17th century. Laver seaweed...

In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals. If κ...

Laver is an English surname. Notable people with the surname include: Arnold Laver, British timber merchant Arthur Laver (1880–1965), South African cricket...

Roland Fraïssé, who conjectured it in 1948; Richard Laver proved the conjecture in 1971. More generally, Laver proved the same result for order embeddings...

Richard Douglas Lavers (born 10 May 1947) is a former British diplomat. He was educated at Hurstpierpoint College and Exeter College, Oxford. He joined...

said to have the Laver property if and only if the forcing extension has the Laver property over the ground model. Examples include Laver forcing. The concept...

Laver Bariu (Albanian pronunciation: [laˈvɛɾ baˈɾiu]; May 2, 1929 in Përmet – January 26, 2014), was an Albanian folk clarinetist and singer. He led his...

Kechris Lyudmila Keldysh Kenneth Kunen Casimir Kuratowski Jean A. Larson Richard Laver Azriel Lévy Benedikt Löwe Nikolai Luzin Menachem Magidor Donald A. Martin...

bound), used in various areas of mathematics and logic. Laver 1.  Richard Laver 2.  A Laver function is a function related to supercompact cardinals...

The Hoare–Laval Pact was an initially secret pact made in December of 1935 between French Foreign Minister Pierre Laval and British Foreign Secretary...

Langerman Robert Langlands Michael Langston Monique Laurent Kristin Lauter Richard Laver Lucien Le Cam Imre Leader Jon Lee Charles Leedham-Green Jan van Leeuwen...

three. On September 8, the winning Laval Rocket name was announced, a tribute to Canadiens' legend Maurice "Rocket" Richard which got a 51% majority of the...

logic, Algebra Institutions Vanderbilt University, University of California, Berkeley Doctoral advisor James Donald Monk Doctoral students Richard Laver...

formulated below is to Halpern–Läuchli–Laver–Pincus or HLLP (named after James D. Halpern, Hans Läuchli, Richard Laver, and David Pincus), following Milliken...

Laver Cup in September. On 15 September 2022, he announced his impending retirement from professional tennis on the ATP Tour, noting that the Laver Cup...

portion, Rosewall defeated Rod Laver 11 matches to 2. A US tour followed with Rosewall defending his world pro title against Laver, Gimeno, Ayala and two Americans:...

2016. "Rod Laver". www.sahof.org.au. Sport Australia Hall of Fame. Retrieved 26 September 2020. Bercow, John (2 June 2014). "9: Rod Laver". Tennis Maestros:...

proving them to be better-quasi-orderings. For instance, Richard Laver established Laver's theorem (previously a conjecture of Roland Fraïssé) by proving...

of Mathematics vol. 102, Elsevier, 1980 James Earl Baumgartner and Richard Laver. Iterated perfect-set forcing. Annals of Mathematical Logic 17 (1979)...

could have beaten Laver regularly." Kramer sees as evidence of Gonzales's superiority over Laver the fact that Gonzales defeated Laver in a five-set match...

Variants of Martin's Axioms, concerned set theory; it was supervised by Richard Laver. In the same year she joined the CSU Pueblo faculty. In 2015, Barnett...

and Rod Laver) to reach all four major finals in one calendar year, the second to do so in the Open Era, and the first to do so since Laver in 1969....

Groszek–Laver pair if the pair is ordinal definable but neither of its two elements is; this concept is named for Groszek and Richard Laver, who observed...

"Win–loss Björn Borg". atptour.com. ATP. Retrieved 1 January 2024. "1969: Rod Laver wins his second Grand Slam". Retrieved 11 July 2015. Douglas, Perry (21...

Tour 2009 @ Rod Laver Arena - liveguide.com.au". liveguide.com.au. Retrieved 16 September 2016. "Beyoncé 'I Am... ' Tour @ Rod Laver Arena - liveguide...

Amateur Era – 98 champions in 261 events. Australians Ken Rosewall, Rod Laver and John Newcombe are the only players to have become champions in both...

player Sir Oliver Forster KCMG, LVO, British Ambassador to Pakistan Richard Lavers, British Ambassador to Ecuador and British Ambassador to Guatemala Sir...