J. Donald Monk
E353632
J. Donald Monk is an American mathematician and logician known for his work in set theory, Boolean algebras, and mathematical logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| J. Donald Monk canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T3380950 — 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: J. Donald Monk Context triple: [Alfred Tarski, notableStudent, J. Donald Monk]
-
A.
Robert N. Fitch
Robert N. Fitch was a composer best known for writing the University of California fight song "Fight for California."
-
B.
R. Bruce Lindsay
R. Bruce Lindsay was an American physicist and acoustician known for his influential work in physical acoustics and contributions to the history and philosophy of science.
-
C.
Fred M. Wilcox
Fred M. Wilcox was an American film director best known for the science fiction classic "Forbidden Planet" and the family film "Lassie Come Home."
-
D.
Richard H. Kline
Richard H. Kline was an American cinematographer known for his work on major Hollywood films from the 1960s through the 1980s, including visually ambitious projects like the 1976 remake of King Kong.
-
E.
George L. Dahl
George L. Dahl was a prominent 20th-century American architect known for shaping much of Dallas’s skyline and major civic landmarks.
- 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: J. Donald Monk Target entity description: J. Donald Monk is an American mathematician and logician known for his work in set theory, Boolean algebras, and mathematical logic.
-
A.
Robert N. Fitch
Robert N. Fitch was a composer best known for writing the University of California fight song "Fight for California."
-
B.
R. Bruce Lindsay
R. Bruce Lindsay was an American physicist and acoustician known for his influential work in physical acoustics and contributions to the history and philosophy of science.
-
C.
Fred M. Wilcox
Fred M. Wilcox was an American film director best known for the science fiction classic "Forbidden Planet" and the family film "Lassie Come Home."
-
D.
Richard H. Kline
Richard H. Kline was an American cinematographer known for his work on major Hollywood films from the 1960s through the 1980s, including visually ambitious projects like the 1976 remake of King Kong.
-
E.
George L. Dahl
George L. Dahl was a prominent 20th-century American architect known for shaping much of Dallas’s skyline and major civic landmarks.
- F. None of above. chosen
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
logician ⓘ mathematician ⓘ university teacher ⓘ |
| coAuthorWith |
George Boolos
ⓘ
surface form:
George S. Boolos
Richard Jeffrey ⓘ Robert Bonnet ⓘ Yi Zhang ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| doctoralAdvisor | Alfred Tarski ⓘ |
| educatedAt |
Harvard University
ⓘ
University of Wisconsin–Madison ⓘ |
| employer | University of Colorado Boulder ⓘ |
| fieldOfWork |
Boolean algebra
ⓘ
mathematical logic ⓘ model theory ⓘ set theory ⓘ universal algebra ⓘ |
| gender | male ⓘ |
| hasAcademicDiscipline |
logic
ⓘ
pure mathematics ⓘ |
| hasResearchInterest |
algebraic logic
ⓘ
cardinal characteristics of the continuum ⓘ forcing in set theory ⓘ foundations of mathematics ⓘ |
| hasWritten |
Algebraic Methods in Philosophical Logic
ⓘ
Cardinal Invariants on Boolean Algebras ⓘ Handbook of Boolean Algebras ⓘ Introduction to Set Theory ⓘ Mathematical Logic ⓘ |
| knownFor |
applications of set theory to Boolean algebras
ⓘ
contributions to the structure theory of Boolean algebras ⓘ work on cardinal invariants of Boolean algebras ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | American Mathematical Society ⓘ |
| notableFor |
research in mathematical logic
ⓘ
research in set theory ⓘ research on Boolean algebras ⓘ |
| notableStudent |
James Baumgartner
ⓘ
Thomas Jech ⓘ |
| occupation |
author
ⓘ
research mathematician ⓘ university professor ⓘ |
| positionHeld | professor of mathematics at the University of Colorado Boulder ⓘ |
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: J. Donald Monk Description of subject: J. Donald Monk is an American mathematician and logician known for his work in set theory, Boolean algebras, and mathematical logic.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.