Venue. Houston Journal of Mathematics Houston Journal of Mathematics · Journal 1976 Subcategories defined by implications banaschewski_herrlich_1976Houston Journal of Mathematics · 1976