An upward-closed subset of a frame containing , excluding and closed under finite meets is completely prime if membership of an arbitrary join implies membership of some summand. Its characteristic map is a point of a frame. Constructively the map takes values in the frame of truth values.
Articles by others on the same topic
There are currently no matching articles.