20 Dec
1994
20 Dec
'94
1:13 p.m.
Does somebody know whether for a complete Heyting algebra (cHa) A such that the specialization order on points is discrete it automatically holds whether for ALL cHa's B the frame morphisms from A to B are ordered discretely by the spezialization order. I know that there are cases (different from complete Boolean algebras) where it holds but does it hold in general ? Thomas Streicher