dr. J. (Jaap) van Oosten
J.vanOosten@uu.nl
Gegenereerd op 2017-11-24 19:52:15


All publications
  2015 - Scholarly publications
Faber, E. & van Oosten, Jaap (2015). Effective operations of type 2 in PCAs. Computability
  2014 - Scholarly publications
van Oosten, Jakobus (17.11.2014). A Notion of Homotopy for the Effective Topos. Mathematical structures in computer science, (pp. 1-15) (16 p.).
van Oosten, Jakobus & Faber, Eric (2014). More on Geometric Morphisms between Realizability Toposes. Theory and applications of categories, 29 (30), (pp. 874-895) (22 p.).
van Oosten, Jakobus (2014). Realizability with a Local Operator of A.M. Pitts. Theoretical Computer Science, 546 (27), (pp. 237-243) (7 p.).
  2013 - Scholarly publications
Lee, S. & van Oosten, J. (2013). Basic Subtoposes of the Effective Topos. Annals of pure and applied logic, 164, (pp. 866-883) (18 p.).
  2011 - Scholarly publications
van Oosten, J. (2011). Partial Combinatory Algebras of Functions. Notre Dame journal of formal logic, 52 (4), (pp. 431-448) (18 p.).
  2008 - Scholarly publications
van Oosten, J. (2008). Realizability: an Introduction to its Categoriacal Side. (328 p.). Noord-Holland: Elsevier.
  2006 - Scholarly publications
van Oosten, J. (2006). A general form of relative recursion. Notre Dame journal of formal logic, 47 (3), (pp. 311-318) (8 p.).
van Oosten, J. (2006). Filtered Colimits in the effective topos. Journal of pure and applied algebra, 205, (pp. 446-451) (6 p.).
Hoffmann, M., van Oosten, J. & Streicher, T. (2006). Well-foundedness in realizability. Archive for mathematical logic, 45, (pp. 795-805) (11 p.).
  2005 - Scholarly publications
van Oosten, J. & Kouwenhoven-Gentil, C.A.K. (2005). Algebraic Set Theory and the Effective Topos. Journal of symbolic logic, 70 (3), (pp. 879-890) (12 p.).
  2004 - Professional publications
van Oosten, J. (2004). A Partial Analysis of Modified Realizability. Journal of symbolic logic, 69 (2), (pp. 421-429) (9 p.).
  2003 - Scholarly publications
Hofstra, P.J.W. & van Oosten, J. (2003). Ordered partial combinatory algebras. Mathematical Proceedings of the Cambridge Philosophical Society (pp. 445-463) (19 p.).
  2002 - Scholarly publications
van Oosten, J. (2002). Realizability: a historical essay. Mathematical structures in computer science, 12, (pp. 239-263) (25 p.).
Birkedal, L. & van Oosten, J. (2002). Relative and modified relative realizability. Annals of pure and applied logic, 118 (1-2), (pp. 115-132) (18 p.).
  2000 - Scholarly publications
van Oosten, J. & Simpson, A.K. (2000). Axioms and (Counter)examples in Synthetic Domain Theory. Annals of pure and applied logic, 104 (1-3), (pp. 233-278) (46 p.).
van Oosten, J. (2000). Fibrations and Calculi of Fractions. Journal of pure and applied algebra, 146, (pp. 77-102) (26 p.).
  1999 - Scholarly publications
van Oosten, J. (1999). A Combinatory Algebra for Sequential functionals of Finite Type. In S.B. Cooper & J.K. Truss (Eds.), Models and Computability (pp. 389-406) (17 p.). Cambridge: Cambridge University Press.
van Oosten, J. (30.06.1999). History and Developments. In L. Birkedal, J. van Oosten, G. Rosolini & D.S. Scott (Eds.), Preliminary Proceedings for the Tutorial Workshop on Realizability and Applications Amsterdam: Elsevier, Tutorial Workshop on Realizability and Applications, Trento.
van Oosten, J. (1999). Introduction to Peano Arithmetic. Communications of the Mathematical Institute, Rijksuniversiteit Utrecht, 21, (pp. i-58) (58 p.).
  1997 - Scholarly publications
van Oosten, J. (1997). A combinatory algebra for sequential functionals of finite type. In S. Barry Cooper & J.K. Truss (Eds.), Models and computability (pp. 389-405) (17 p.). Cambridge: Campridge University Press, London Math. Soc. Lecture Note Ser.e.
van Oosten, J. (1997). Extensional realizability. Annals of pure and applied logic, 84 (3), (pp. 317-349) (33 p.).
van Oosten, J. (1997). The modified realizability topos. Journal of pure and applied algebra, 116 (1-3), (pp. 273-289) (17 p.).
  1996 - Scholarly publications
van Oosten, J. (24.06.1996). Topological Aspects of Traces. In J. Billington & W. Reisig (Eds.), Applications and Theory of Petri Nets 1996 (pp. 480-496) (17 p.). Berlin etc.: Springer, 17th International conference, Osaka, Japan.
van Oosten, J. (1996). Two remarks on the Lifschitz Realizability Topos. Journal of symbolic logic, 61 (1), (pp. 70-79) (10 p.).
  1991 - Scholarly publications
van Oosten, Jakobus (31.12.1991). A semantical Proof of De Jongh's Theorem. Archive for mathematical logic, 31, (pp. 105-114) (10 p.).
van Oosten, Jakobus (31.05.1991). Extension of Lifschitz' Realizability to Higher-Order Arithmetic, and a Solution to a problem of F. Richman. Journal of symbolic logic, 56 (2), (pp. 964-973) (10 p.).
  1990 - Scholarly publications
van Oosten, Jakobus (31.05.1990). Lischitz' Realizability. Journal of symbolic logic, 55 (2), (pp. 805-821) (17 p.).
^ top
Gegenereerd op 2017-11-24 19:52:15
Gegenereerd op 2017-11-24 19:52:15
Full name
dr. J. van Oosten Contact details
Hans Freudenthalgebouw

Budapestlaan 6
Room 507
3584 CD  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 3305
Gegenereerd op 2017-11-24 19:52:15
Last updated 06.03.2012