Jaap van Oosten

Available identifiers

zbMath Open van-oosten.jaapMaRDI QIDQ387124

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6204007	2024-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q5119392	2020-09-04	Paper
Topological aspects of traces	2019-05-02	Paper
The Sierpinski Object in the Scott Realizability Topos	2019-04-30	Paper
Sets, Models and Proofs	2018-07-23	Paper
Extensions of Scott's graph model and Kleene's second algebra	2018-01-12	Paper
A notion of homotopy for the effective topos	2016-07-27	Paper
Effective operations of type 2 in PCAs	2016-07-25	Paper
Classical and Relative Realizability	2016-07-07	Paper
Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics	2016-03-18	Paper
More on Geometric Morphisms between Realizability Toposes	2015-04-28	Paper
Book review of: Helmut Schwichtenberg and Stanley S. Wainer, Proofs and computations	2014-08-28	Paper
Realizability with a local operator of A. M. Pitts	2014-07-25	Paper
Basic subtoposes of the effective topos	2013-12-11	Paper
Partial combinatory algebras of functions	2011-12-21	Paper
Realizability. An introduction to its categorical side	2009-04-08	Paper
A general form of relative recursion	2007-02-20	Paper
Well-foundedness in realizability	2006-11-06	Paper
Filtered colimits in the effective topos	2006-03-29	Paper
Algebraic set theory and the effective topos	2006-01-16	Paper
A partial analysis of modified realizability	2005-08-29	Paper
Ordered partial combinatory algebras	2003-10-13	Paper
Relative and modified relative realizability	2002-12-02	Paper
Realizability: a historical essay	2002-10-31	Paper
Axioms and (counter)examples in synthetic domain theory	2001-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4499145	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4513590	2001-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4938567	2000-07-04	Paper
Fibrations and calculi of fractions	2000-05-30	Paper
Extensional realizability	1998-02-04	Paper
The modified realizability topos	1998-02-03	Paper
Two remarks on the Lifschitz realizability topos	1997-01-13	Paper
Axiomatizing higher-order Kleene realizability	1994-12-19	Paper
Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman	1992-06-27	Paper
A semantical proof of De Jongh's theorem	1992-06-25	Paper
Lifschitz' realizability	1990-01-01	Paper

Research outcomes over time

This page was built for person: Jaap van Oosten