Personal profile
Link to Utrecht University staff page
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
-
Type Theory and Homotopy Theory
van Oosten, J. (Invited speaker)
17 Mar 2011Activity: Talk or presentation › Invited talk › Popular
-
Mathematical Structures in Computer Science (Journal)
van Oosten, J. (Editor)
2011Activity: Publication peer-review and editorial work › Editorial activity › Academic
-
Synthetic Nonstandard Arithmetic
van Oosten, J. (Invited speaker)
11 May 2011Activity: Talk or presentation › Invited talk › Popular
-
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
In the media
-
Mathematisches Kolloquium in memoriam Professor Thomas Streicher
23/04/25
1 Media contribution
Press/Media: Expert Comment