Richard Laver
E446867
Richard Laver was an American mathematician known for his influential work in set theory, particularly on large cardinals, orderings, and the foundations of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Richard Laver canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4493085 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Richard Laver Context triple: [Paul Cohen, notableStudent, Richard Laver]
-
A.
Rod Laver
Rod Laver is an Australian tennis legend widely regarded as one of the greatest players in history, famed for winning two calendar-year Grand Slams.
-
B.
Peter Thomson
Peter Thomson is a notable member of the Thomson family, recognized for his prominence in professional golf as a multiple-time Open Championship winner.
-
C.
Bobby Riggs
Bobby Riggs was an American tennis champion and hustler best known for his 1973 "Battle of the Sexes" match against Billie Jean King.
-
D.
Paul Hunter
Paul Hunter is an acclaimed American music video director known for his visually innovative work with major artists across hip-hop, R&B, and pop.
-
E.
Arthur Ashe
Arthur Ashe was a pioneering American tennis champion and civil rights advocate, renowned as the first Black man to win singles titles at Wimbledon, the US Open, and the Australian Open.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Richard Laver Target entity description: Richard Laver was an American mathematician known for his influential work in set theory, particularly on large cardinals, orderings, and the foundations of mathematics.
-
A.
Rod Laver
Rod Laver is an Australian tennis legend widely regarded as one of the greatest players in history, famed for winning two calendar-year Grand Slams.
-
B.
Peter Thomson
Peter Thomson is a notable member of the Thomson family, recognized for his prominence in professional golf as a multiple-time Open Championship winner.
-
C.
Bobby Riggs
Bobby Riggs was an American tennis champion and hustler best known for his 1973 "Battle of the Sexes" match against Billie Jean King.
-
D.
Paul Hunter
Paul Hunter is an acclaimed American music video director known for his visually innovative work with major artists across hip-hop, R&B, and pop.
-
E.
Arthur Ashe
Arthur Ashe was a pioneering American tennis champion and civil rights advocate, renowned as the first Black man to win singles titles at Wimbledon, the US Open, and the Australian Open.
- F. None of above. chosen
Statements (38)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
mathematician ⓘ set theorist ⓘ |
| contributedTo |
combinatorial set theory
ⓘ
forcing in set theory ⓘ orderings in set theory ⓘ theory of large cardinals ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| doctoralAdvisor | Robert Vaught ⓘ |
| educatedAt | University of California, Berkeley ⓘ |
| employer | University of Colorado Boulder ⓘ |
| fieldOfWork |
foundations of mathematics
ⓘ
large cardinals ⓘ mathematics ⓘ order theory ⓘ set theory ⓘ |
| gender | male ⓘ |
| hasAcademicDiscipline |
logic
ⓘ
mathematical logic ⓘ |
| hasNotableConcept |
Laver forcing
ⓘ
linked to:
forcing (set theory)
Laver table ⓘ |
| hasResearchInterest |
forcing axioms
ⓘ
large cardinal axioms ⓘ order types of countable models ⓘ well-quasi-orderings ⓘ |
| influenced |
modern set theory
ⓘ
research on forcing and orderings ⓘ research on large cardinals ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | American Mathematical Society ⓘ |
| nationality | American ⓘ |
| notableFor |
Laver forcing
ⓘ
linked to:
forcing (set theory)
Laver tables ⓘ results on orderings of countable models ⓘ results on well-quasi-orderings ⓘ work on large cardinals ⓘ work on the foundations of mathematics ⓘ |
| occupation | university professor ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Richard Laver Description of subject: Richard Laver was an American mathematician known for his influential work in set theory, particularly on large cardinals, orderings, and the foundations of mathematics.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.