Locally compact Stone duality #
by Tristan Bice, Charles Starling
It is proved that "Compact clopen pseudobasic posets are characterized by separativity."
As a first formal step in that direction we prove some basic results about clopen sets.
by Tristan Bice, Charles Starling
It is proved that "Compact clopen pseudobasic posets are characterized by separativity."
As a first formal step in that direction we prove some basic results about clopen sets.