Aspects of Predicative Algebraic Set Theory I: Exact Completion

Details Aspects of Predicative Algebraic Set Theory I: Exact Completion Aspects of Predicative Algebraic Set Theory I: Exact Completion

2007-10-16

arxiv.org/abs/0710.3077v1

Mathematics

Logic

Submitted to Ann. Pure Appl. Logic

Scientific paper

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 and the other on Sheaf Models in Algebraic Set Theory.

Affiliated with

Also associated with

No associations

Rating

Aspects of Predicative Algebraic Set Theory I: Exact Completion 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 I: Exact Completion, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Aspects of Predicative Algebraic Set Theory I: Exact Completion will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-714430