On some peculiar aspects of the constructive theory of point-free spaces

Details On some peculiar aspects of the constructive theory of point-free spaces On some peculiar aspects of the constructive theory of point-free spaces

2009-07-23

arxiv.org/abs/0907.4134v2

Mathematics

Logic

Scientific paper

10.1002/malq.200910014

This paper presents several independence results concerning the topos-valid
and the intuitionistic (generalized) predicative theories of locales. In
particular, certain consequences of the consistency of a general form of
Troelstra's uniformity principle with constructive set theory and type theory
are examined.

Affiliated with

Also associated with

No associations

Rating

On some peculiar aspects of the constructive theory of point-free spaces 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 On some peculiar aspects of the constructive theory of point-free spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On some peculiar aspects of the constructive theory of point-free spaces will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-355587