• Journal for History of Mathematics
• /
• v.17 no.2
• /
• pp.73-84
• /
• 2004

Stone introduced extremally disconnected spaces as the image of complete Boolean algebras under his famous duality between Bool and ZComp and they turn out to be projective objects in various categories of Hausdorff spaces and completely regular ones are exactly those X with Dedekind complete C(X, ). In the pointfree setting, extremally disconnected frame (= De Morgan frame) are those with De Morgan condition. In this paper, we investigate a historical aspect of De Morgan frame together with that of De Morgan.

• Korean Journal of Logic
• /
• v.12 no.1
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.