Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-20/4/ii/solution

Suppose every regular open element is complemented. In a Heyting algebra, a complemented element is regular: if and , then and . Finite joins of complemented elements are complemented. Hence is regular, and it is the least regular upper bound of . Therefore
This proves (ii) implies (iii). The identification of the regular open elements with interiors of closures was established in the preceding part.

New to topics? Read the docs here!