Research output per year
Research output per year
Personal profile
Link to Utrecht University staff page
Fingerprint
Dive into the research topics where Jaap van Oosten is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
The Sierpinski Object in the Scott Realizability Topos
van Oosten, J. & de Jong, T., 20 Aug 2020, In: Logical Methods in Computer Science. 16, 3, p. 1-16Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Extensions of Scott's Graph Model and Kleene's Second Algebra
van Oosten, J. & Voorneveld, N., Feb 2018, In: Indagationes Mathematicae. 29, 1, p. 5-22Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Sets, models and proofs: Provides a concise introduction to mathematical logic for mathematics students
Moerdijk, I. & van Oosten, J., 2018, Springer. 141 p.Research output: Book/Report › Book › Academic
-
Classical and relative realizability
van Oosten, J. & Zou, T., 22 Jun 2016, In: Theory and Applications of Categories. 31, 22, p. 571-593 23 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Effective Operations of type 2 in PCAs
Faber, E. & van Oosten, J., 2016, In: Computability. 5, 2, p. 127-146 20 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile
-
Synthetic Nonstandard Arithmetic
van Oosten, J. (Invited speaker)
11 May 2011Activity: Talk or presentation › Invited talk › Popular
-
Some subtoposes of the effective topos
van Oosten, J. (Invited speaker)
7 Jun 2011Activity: Talk or presentation › Invited talk › Academic
-
Type theory and homotopy theory
van Oosten, J. (Invited speaker)
19 May 2011Activity: Talk or presentation › Invited talk › Popular
-
Journal of Pure and Applied Algebra (Journal)
van Oosten, J. (Editor)
2011Activity: Publication peer-review and editorial work › Editorial activity › Academic
-
Annals of Pure and Applied Logic (Journal)
van Oosten, J. (Editor)
2011Activity: Publication peer-review and editorial work › Editorial activity › Academic