Benno van den Berg
E787708
Benno van den Berg is a Dutch mathematician known for his work in category theory, logic, and the foundations of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Benno van den Berg canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T9095801 — 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: Benno van den Berg Context triple: [Ieke Moerdijk, supervisedStudent, Benno van den Berg]
-
A.
Dennis van Aarssen
Dennis van Aarssen is a Dutch jazz and pop singer who gained national fame after winning the talent show The Voice of Holland.
-
B.
André van der Hoek
André van der Hoek is a prominent software engineering researcher and academic known for influential contributions to software design, configuration management, and collaborative development environments.
-
C.
Dirk Roosenburg
Dirk Roosenburg was a prominent Dutch architect known for his early 20th-century modernist designs and as the grandfather of architect Rem Koolhaas.
-
D.
Jeroen van der Boom
Jeroen van der Boom is a Dutch singer, television presenter, and entertainer known for his successful music career and prominent roles on Dutch TV talent shows.
-
E.
Sven Groeneveld
Sven Groeneveld is a Dutch professional tennis coach known for working with numerous top-ranked players on the WTA and ATP tours.
- 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: Benno van den Berg Target entity description: Benno van den Berg is a Dutch mathematician known for his work in category theory, logic, and the foundations of mathematics.
-
A.
Dennis van Aarssen
Dennis van Aarssen is a Dutch jazz and pop singer who gained national fame after winning the talent show The Voice of Holland.
-
B.
André van der Hoek
André van der Hoek is a prominent software engineering researcher and academic known for influential contributions to software design, configuration management, and collaborative development environments.
-
C.
Dirk Roosenburg
Dirk Roosenburg was a prominent Dutch architect known for his early 20th-century modernist designs and as the grandfather of architect Rem Koolhaas.
-
D.
Jeroen van der Boom
Jeroen van der Boom is a Dutch singer, television presenter, and entertainer known for his successful music career and prominent roles on Dutch TV talent shows.
-
E.
Sven Groeneveld
Sven Groeneveld is a Dutch professional tennis coach known for working with numerous top-ranked players on the WTA and ATP tours.
- F. None of above. chosen
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
mathematician ⓘ |
| countryOfCitizenship | Netherlands ⓘ |
| employer | University of Amsterdam ⓘ |
| familyName | van den Berg ⓘ |
| fieldOfWork |
category theory
ⓘ
foundations of mathematics ⓘ mathematical logic ⓘ mathematics ⓘ |
| givenName | Benno ⓘ |
| hasAcademicDiscipline | theoretical computer science ⓘ |
| isKnownFor |
work on categorical logic
ⓘ
work on constructive set theory ⓘ work on realizability ⓘ work on topos theory ⓘ |
| languageSpoken |
Dutch
ⓘ
English ⓘ |
| nativeLanguage | Dutch ⓘ |
| notableWork |
research in category theory
ⓘ
research in mathematical logic ⓘ research on foundations of mathematics ⓘ |
| occupation |
researcher
ⓘ
university teacher ⓘ |
| sexOrGender | male ⓘ |
| workLocation | Amsterdam ⓘ |
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: Benno van den Berg Description of subject: Benno van den Berg is a Dutch mathematician known for his work in category theory, logic, and the foundations of mathematics.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.