Robert Vaught
E391382
Robert Vaught was an American logician and mathematician known for his influential work in model theory and mathematical logic.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Robert Vaught canonical | 3 |
| Robert Lawson Vaught | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3380947 — 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: Robert Vaught Context triple: [Alfred Tarski, notableStudent, Robert Vaught]
-
A.
Charles Roane
Charles Roane is a music producer known for his work on the album "Back to Basics."
-
B.
Pat Buttram
Pat Buttram was an American character actor and comedian best known for his distinctive nasal voice and roles in Westerns and as Mr. Haney on the television series "Green Acres."
-
C.
Dennis Awtrey
Dennis Awtrey is a former American professional basketball center known for his defensive play and role as a key contributor on several NBA teams during the 1970s and early 1980s.
-
D.
George Houser
George Houser was an American civil rights activist and minister who co-founded key nonviolent protest organizations and played a significant role in early Freedom Rides and anti-apartheid efforts.
-
E.
Jim Hammond
Jim Hammond is the original android Human Torch, a World War II-era superhero who fought alongside Captain America and Namor as part of Marvel Comics' Golden Age.
- 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: Robert Vaught Target entity description: Robert Vaught was an American logician and mathematician known for his influential work in model theory and mathematical logic.
-
A.
Charles Roane
Charles Roane is a music producer known for his work on the album "Back to Basics."
-
B.
Pat Buttram
Pat Buttram was an American character actor and comedian best known for his distinctive nasal voice and roles in Westerns and as Mr. Haney on the television series "Green Acres."
-
C.
Dennis Awtrey
Dennis Awtrey is a former American professional basketball center known for his defensive play and role as a key contributor on several NBA teams during the 1970s and early 1980s.
-
D.
George Houser
George Houser was an American civil rights activist and minister who co-founded key nonviolent protest organizations and played a significant role in early Freedom Rides and anti-apartheid efforts.
-
E.
Jim Hammond
Jim Hammond is the original android Human Torch, a World War II-era superhero who fought alongside Captain America and Namor as part of Marvel Comics' Golden Age.
- F. None of above. chosen
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
American logician
ⓘ
American mathematician ⓘ human ⓘ logician ⓘ mathematician ⓘ |
| academicDiscipline |
logic
ⓘ
mathematics ⓘ |
| affiliation |
Department of Mathematics, University of California, Berkeley
ⓘ
linked to:
Department of Mathematics (UC Berkeley)
|
| areaOfInfluence |
classification theory in model theory
ⓘ
logic of set-theoretic models ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| educatedAt | University of California, Berkeley ⓘ |
| employer | University of California, Berkeley ⓘ |
| familyName | Vaught ⓘ |
| fieldOfWork |
descriptive set theory
ⓘ
foundations of mathematics ⓘ mathematical logic ⓘ model theory ⓘ set theory ⓘ |
| gender | male ⓘ |
| givenName | Robert ⓘ |
| influenced |
development of modern model theory
ⓘ
research in descriptive set theory ⓘ |
| influencedBy |
Alfred Tarski
ⓘ
Kurt Gödel ⓘ |
| knownFor |
Vaught conjecture in model theory
ⓘ
linked to:
Vaught conjecture
Vaught transform in logic ⓘ
linked to:
Vaught transforms in model theory
fundamental results on countable models of complete theories ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | American Mathematical Society ⓘ |
| name |
Robert Lawson Vaught
ⓘ
linked to:
Robert Vaught
|
| notableContribution |
contributions to axiomatic set theory via model-theoretic methods
ⓘ
linking descriptive set theory with model theory ⓘ results on isomorphism types of countable models ⓘ |
| notableIdea |
Vaught conjecture on the number of countable models of a complete theory
ⓘ
linked to:
Vaught conjecture
Vaught transform in descriptive set theory and model theory ⓘ
linked to:
Vaught transforms in model theory
|
| notableStudent |
Donald A. Martin
ⓘ
Leo Harrington ⓘ William Hanf ⓘ |
| notableWork |
Vaught conjecture
ⓘ
Vaught transforms in model theory ⓘ contributions to the theory of models of set theory ⓘ work on complete theories and models ⓘ |
| occupation | university teacher ⓘ |
| workLocation |
Berkeley, California
ⓘ
linked to:
Berkeley
|
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: Robert Vaught Description of subject: Robert Vaught was an American logician and mathematician known for his influential work in model theory and mathematical logic.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.