Constructive version of Boolean algebra

Details Constructive version of Boolean algebra Constructive version of Boolean algebra

2012-03-22

arxiv.org/abs/1203.4997v1

Mathematics

Logic

22 pages

Scientific paper

The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds classically to that of map preserving arbitrary joins; we provide a description of atomic set-based overlap algebras in the language of formal topology, thus giving a predicative characterization of discrete locales; we show that the power-collection of a set is the free overlap algebra join-generated from the set. Then, we generalize the concept of overlap algebra and overlap morphism in various ways to provide constructive versions of the category of Boolean algebras with maps preserving arbitrary existing joins.

Affiliated with

Also associated with

No associations

Rating

Constructive version of Boolean algebra 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 Constructive version of Boolean algebra, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constructive version of Boolean algebra will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-381878