Cauchy nets in the constructive theory of apartness spaces (2002)

by D Bridges, L Vît¸ă
Venue:Scientiae Mathematicae Japonicae
Add To MetaCart
Results 1 - 1 of 1

Bl $X\mathrm{N}\emptyset$

by B $s\mathrm{n}t\rightarrow T\mathrm{n}s B
"... Let $X $ be a nonempty set. We assume that there is a set-set apartness relation $*3$ ..."
Abstract - Add to MetaCart
Let $X $ be a nonempty set. We assume that there is a set-set apartness relation $*3$