Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hofmann, M.
van Oosten, J.
and
Streicher, T.
2006.
Well-foundedness in Realizability.
Archive for Mathematical Logic,
Vol. 45,
Issue. 7,
p.
795.
Awodey, Steve
2008.
A Brief Introduction to Algebraic Set Theory.
Bulletin of Symbolic Logic,
Vol. 14,
Issue. 3,
p.
281.
Gambino, Nicola
2008.
The associated sheaf functor theorem in algebraic set theory.
Annals of Pure and Applied Logic,
Vol. 156,
Issue. 1,
p.
68.
2008.
Realizability: An Introduction to its Categorical Side.
Vol. 152,
Issue. ,
p.
291.
van den Berg, Benno
and
Moerdijk, Ieke
2008.
Aspects of predicative algebraic set theory I: Exact completion.
Annals of Pure and Applied Logic,
Vol. 156,
Issue. 1,
p.
123.
van den Berg, Benno
and
Moerdijk, Ieke
2011.
Aspects of predicative algebraic set theory, II: Realizability.
Theoretical Computer Science,
Vol. 412,
Issue. 20,
p.
1916.
Awodey, Steve
Butz, Carsten
Simpson, Alex
and
Streicher, Thomas
2014.
Relating first-order set theories, toposes and categories of classes.
Annals of Pure and Applied Logic,
Vol. 165,
Issue. 2,
p.
428.
Maschio, Samuele
and
Streicher, Thomas
2015.
Models of intuitionistic set theory in subtoposes of nested realizability toposes.
Annals of Pure and Applied Logic,
Vol. 166,
Issue. 6,
p.
729.