• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.291-304
• /
• 2005

We introduce a concept of Cauchy complete Csaszar frames and construct Cauchy completions of Csaszar frames using strict extensions of frames and show that the Cauchy completion gives rise to a coreflection in the categories CsFrm and UCsFrm.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1995.10b
• /
• pp.326-330
• /
• 1995

We define a PL-limit structure and a PL-Cauchy structure and obtain a completion of a separated PL-Cauchy structure.

• Communications of the Korean Mathematical Society
• /
• v.23 no.3
• /
• pp.453-459
• /
• 2008

We introduce a concept of continuous homomorphisms between Csaszar frames and show that the Cauchy completion in CsFrm gives rise to a coreflection in the category PCsFrm (resp. UCsFrm) consisting of proximal Csaszar frames and uniform continuous homomor-phisms (resp. uniform Csaszar frames and uniform continuous homomor-phisms).

• Korean Journal of Mathematics
• /
• v.12 no.1
• /
• pp.41-47
• /
• 2004

We introduce the $K_0$-proximity space as a generalization of the Efremovi$\check{c}$-proximity space. We try to show every ultrafilter in $K_0$-proximity space generates a cluster and every Cauchy cluster is a point cluster.

• Journal for History of Mathematics
• /
• v.18 no.4
• /
• pp.113-124
• /
• 2005

For a Tychonoff space X, C(X) is a Riesz-space. It is well known that C(X) is order-Cauchy complete if and only if X is a quasi~F space and that if X is a compact space and QF(X) is a minimal quasi-F cover of X, then the order- Cauchy completion of C(X) is isomorphic to C(QF(X)). In this paper, we investigate motivations and historical backgrounds of the definition for quasi-spaces and the construction for minimal quasi-F covers.