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 | 1 |
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
mathematician ⓘ |
| countryOfCitizenship | Netherlands ⓘ |
| employer | University of Amsterdam NERFINISHED ⓘ |
| familyName | van den Berg NERFINISHED ⓘ |
| fieldOfWork |
category theory
ⓘ
foundations of mathematics ⓘ mathematical logic ⓘ mathematics ⓘ |
| givenName | Benno NERFINISHED ⓘ |
| 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 ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.