The paper[1] constructs the conglomerate axiom system ACG in order to research the base of Category Theory.This paper constructs the model Ω^(B)（where B is a complete Boolean algebra) on the basis of the models △^(...The paper[1] constructs the conglomerate axiom system ACG in order to research the base of Category Theory.This paper constructs the model Ω^(B)（where B is a complete Boolean algebra) on the basis of the models △^(B) (see[2])and ∧^(B)(see[5]),and proves:(1)Ω^(B) is Boolean-Valued model of the conglomerate axiom system ACG;(2)The maximum and minimum principles are true in Ω^(B).展开更多
文摘The paper[1] constructs the conglomerate axiom system ACG in order to research the base of Category Theory.This paper constructs the model Ω^(B)（where B is a complete Boolean algebra) on the basis of the models △^(B) (see[2])and ∧^(B)(see[5]),and proves:(1)Ω^(B) is Boolean-Valued model of the conglomerate axiom system ACG;(2)The maximum and minimum principles are true in Ω^(B).
