Aspects of Predicative Algebraic Set Theory II: Realizability

Details Aspects of Predicative Algebraic Set Theory II: Realizability Aspects of Predicative Algebraic Set Theory II: Realizability

2008-01-15

arxiv.org/abs/0801.2305v1

Mathematics

Logic

Scientific paper

This is the second in a series of papers on the relation between algebraic set theory and predicative formal systems. In part I, we introduced the notion of a predicative category of small maps and obtained the result that such categories always contain a model of set theory. In the present paper, we show that the familiar realizability models of the constructive set theories CZF and IZF can be obtained as an application of this result. For this purpose, we show that predicative categories with small maps are closed under an internal notion of realizability.

Affiliated with

Also associated with

No associations

Rating

Aspects of Predicative Algebraic Set Theory II: Realizability does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Aspects of Predicative Algebraic Set Theory II: Realizability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Aspects of Predicative Algebraic Set Theory II: Realizability will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-151177