27

Elementary axioms for categories of classes
– A K Simpson
 1999

29

Realizability and Recursive Mathematics
– D C McCarty
 1984

53

First steps in synthetic domain theory
– Martin Hyland
 1991

120

The type theoretic interpretation of constructive set theory: inductive definitions
– Peter Aczel
 1986

13

Algebraic models of intuitionistic theories of sets and classes. Theory and applications of categories
– Steve Awodey, Henrik Forssell, S. Awodey, H. Forssell

23

The consistency of classical set theory relative to a set theory with intuitionistic logic
– H Friedman
 1973

9

Constructive set theories and their categorytheoretic models
– Alex Simpson
 2005

9

Oosten, Algebraic Set Theory and the Effective Topos
– C KouwenhovenGentil, J van
 2005

6

On set theories and toposes
– S Hayashi
 1980

930

Categories for the Working Mathematician
– S Mac Lane
 1971

141

Introduction to HigherOrder Categorical Logic
– J Lambek, P Scott
 1986

40

Algebraic Set Theory
– A Joyal, I Moerdijk
 1995

17

Sketches of an Elephant
– P T Johnstone
 2003

11

Predicative algebraic set theory. Theory and Applications of Categories 15(1
– S Awodey, M A Warren
 2005

18

Presheaf models of constructive set theories
– Nicola Gambino
 2004

42

A completeness theorem for open maps
– A Joyal, I Moerdijk
 1994

7

A categorical theory of cumulative hierarchies of sets. Comptes Rendus Mathématiques de l’Académie des Science 13
– A Joyal, I Moerdijk
 1991

3

Algebraic models of sets and classes in categories of ideals
– Steve Awodey, Henrik Forssell, Michael A. Warren
 2006

3

Foundations by using categories with elements. 2000 Annual Meeting of the Association for Symbolic Logic
– S Mac Lane
 2000
