On the T::1:: axiom and other separation properties in constructive point-free and point-set topology

Peter Aczel, Giovanni Curi. On the T::1:: axiom and other separation properties in constructive point-free and point-set topology. Annals of Pure and Applied Logic, 161(4):560-569, 2010. [doi]

Abstract

Abstract is missing.