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
The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp.	2016-03-18	Paper
More on Geometric Morphisms between Realizability Toposes	2015-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2878184	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jaap van Oosten