Highly Influenced

The thesis consists of three sections, developing models of intuitionistic set theory in suitable categories. First, the categorical framework in which models are constructed is reviewed, and the theory of all such models, called Basic Intuitionistic Set Theory (BIST), is stated; second, we give a notion of an ideal over a category, with which one can build… (More)

@inproceedings{Forssell2004CategoricalMO,
title={Categorical Models of Intuitionistic Theories of Sets and Classes},
author={Henrik Forssell},
year={2004}
}