[KSCI] Korea Science Citation Index Service

http://dx.doi.org/10.4134/CKMS.2006.21.2.211

ON THE AXIOM OF CHOICE OF WEAK TOPOS Fuz

Kim Ig-Sung (Department of Data Information Sangji University)

Publication Information

Communications of the Korean Mathematical Society / v.21, no.2, 2006 , pp. 211-217 More about this Journal

Abstract

Topos is a set-like category. In topos, the axiom of choice can be expressed as (AC1), (AC2) and (AC3). Category Fuz of fuzzy sets has a similar function to the topos Set and it forms weak topos. But Fuz does not satisfy (AC1), (AC2) and (AC3). So we define (WAC1), (WAC2) and (WAC3) in weak topos Fuz. And we show that they are equivalent in Fuz.

Keywords

category Fuz; axiom of choice; weak topos;

Citations & Related Records

Reference

1	R. Diaconescu, Axiom of choice and complementation, Proc. Amer. Math. Soc. 51 (1975), no. 1, 176-178
2	R. Goldblatt, Topoi, North-Holland, 1984
3	P. T. Johnstone, Topos Theory, Academic Press, N. Y., 1977
4	A. M. Penk, Two form of the axiom of choice for an elementary topos, J. of Symbolic logic. 40 (1975), no. 2, 192-212
5	X. Yuan and E. S. Lee, Categorical analysis of logic operator on fuzzy sets, J. of Math. Anal. and Appl. 177 (1993), 600-607 DOI ScienceOn
6	X. Yuan, H. Li and E. S. Lee, Categories of fuzzy sets and weak topos, Fuzzy Sets and Systems 127 (2002), 291-297 DOI ScienceOn