Algebraic models of intuitionistic theories of sets and classes.
Almost locatedness in uniform spaces
A weak form of the constructively important notion of locatedness is lifted from the context of a metric space to that of a uniform space. Certain fundamental results about almost located and totally bounded sets are then proved.
Alternative models in precipitation analysis.