Pointfree Aspects of the Td Axiom of Classical Topology

Abstraction from the condition defining TD-spaces leads to the following notion in an arbitrary frame L: a filter F in L is called slicing if it is prime and there exist a, b ∈ L such that a / ∈ F , b ∈ F , and a is covered by b. This paper deals with various aspects of these slicing filters. As a first step, we present several results about the original TD… CONTINUE READING