Learn More
This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay the necessary groundwork for the next two parts, one on Realisability [8] and the other on Sheaf Models in Algebraic Set Theory [9]. Sheaf theory and realisability have been effective methods for constructing models of various constructive and intuitionistic(More)
1 Introduction This paper is the second in a series on the relation between algebraic set theory [19] and predicative formal systems. The purpose of the present paper is to show how realizability models of constructive set theories fit into the framework of algebraic set theory. It can be read independently from the first part [5]; however, we recommend(More)