Jaap van Oosten
E793605
Jaap van Oosten is a Dutch logician and mathematician known for his work in constructive mathematics, realizability, and categorical logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Jaap van Oosten canonical | 1 |
Statements (36)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
human ⓘ logician ⓘ |
| academicStatus | retired ⓘ |
| author | Jaap van Oosten NERFINISHED ⓘ |
| countryOfCitizenship | Netherlands ⓘ |
| fieldOfWork |
categorical logic
ⓘ
category theory ⓘ constructive mathematics ⓘ foundations of mathematics ⓘ logic ⓘ realizability ⓘ |
| gender | male ⓘ |
| hasAcademicDiscipline |
mathematical logic
ⓘ
theoretical computer science ⓘ |
| hasWrittenOn |
Kleene realizability
ⓘ
Kripke models and realizability ⓘ applicative structures ⓘ computability and logic ⓘ constructive set theory ⓘ effective topos ⓘ intuitionistic logic ⓘ lambda calculus ⓘ partial combinatory algebras ⓘ realizability toposes ⓘ |
| languageOfWorkOrName |
Dutch
ⓘ
English ⓘ |
| mainSubject |
categorical logic
ⓘ
realizability ⓘ |
| notableFor |
contributions to realizability theory
ⓘ
expository work on realizability and category theory ⓘ research in constructive mathematics ⓘ work on categorical aspects of realizability ⓘ |
| notableWork | Realizability: An Introduction to its Categorical Side NERFINISHED ⓘ |
| occupation |
researcher in mathematics
ⓘ
university teacher ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.