본문 바로가기
KERD
논문KCI 등재

Variants of Compactness in Pointfree Topology

1

조회

0

다운로드

0

인용

0

참고문헌

주제분류수학

초록

Abstract

This paper introduces compactnessnotions forframeswhich areexpressedintermsofthe convergenceofsuitably specied general lters.It establishesseveral preser-vation propertiesforthem as well as theircoreectivenessin the settingofregularframes.Further,it shows that supercompact,compact,and Lindelof framescan be described bycompactnessconditions of the present formso that various familiarfactsbecome conse-quences of these general results.In addition, the Prime Ideal Theorem and the AxiomofCountable Choice are proved to be equivalent to certainconditions connected with thekind ofcompactnessconsidered here.

참고문헌 (16)

  1. "Completion in pointfreetopology", (2) (1996), University ofCape Town
  2. B. Banaschewski, "Propositional logic, frames, and fuzzy logic", 22, pp.481~507 (1999)
  3. B.Banaschewski,, "The axiom of countable choice and pointfree topology", 9, pp.245~258 (2001)
  4. B. Banaschewski, "Projective Frames A General View"
  5. B.Banaschewski, "Filtersand strictextensionsofframes", 39, pp.215~230 (1999)
  6. B.Banaschewski, ",Extension by continuity in pointfree topology", 8, pp.475~486 (2000)
  7. ",General ltersand strictextensions in pointfreetopology", 42, pp.273~283 (2002)
  8. "On the completion of nearness frames", 19, pp.19~37 (1996)
  9. "Math. Proc.Cambridge Phil.Soc.", 108, pp.63~78 (1990)
  10. "Colloq. Math.Soc.JanosBolyai", 8, pp.223~240 (1972)
  11. "London Math. Soc.Lecture Notes Series", 93, pp.325~335 (1985)
  12. "Convergence in frames", 35, pp.85~91 (1995)
  13. "Cauchy completions of nearness frames", 3, pp.371~377 (1995)
  14. "Math. Scand.", 31, pp.5~32 (1972)
  15. "Cambridge Studies in Advanced Mathematics 3" (1982), Cam-bridge University Press
  16. "Cambridge Tracts in Theor. Comp. Sci. No 5" (1985), Cam-bridge University Press

관련 논문AI추천

이 간행물의 다른 논문 (14건)