A constructive Galois connection between closure and interior

Details A constructive Galois connection between closure and interior A constructive Galois connection between closure and interior

2011-01-31

arxiv.org/abs/1101.5896v2

Mathematics

Logic

This is a revised version. Content is reorganized so to separate clearly what requires an impredicative proof from what can be

Scientific paper

We construct a Galois connection between closure and interior operators on a
given set. All arguments are intuitionistically valid. Our construction is an
intuitionistic version of the classical correspondence between closure and
interior operators via complement.

Affiliated with

Also associated with

No associations

Rating

A constructive Galois connection between closure and interior 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 A constructive Galois connection between closure and interior, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A constructive Galois connection between closure and interior will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-647425