Apartness as a relation between subsets (2001)

by Peter Schuster, Luminit¸a Vît¸ă, Douglas Bridges
Venue:in: Combinatorics, Computability and Logic (Proceedings of DMTCS’01, Constant¸a