期刊文献+

The Boolean—Valued Model of the Conglomerate Axiom System ACG

在线阅读 下载PDF
导出
摘要 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).
作者 李娜
机构地区 Dept.ofPolitics
出处 《Chinese Quarterly Journal of Mathematics》 CSCD 1993年第1期81-87,共7页 数学季刊(英文版)
  • 相关文献

参考文献6

  • 1李娜,河南大学学报,1993年,2期
  • 2李娜,Chin Sci Bull,1991年,36卷,2期,99页
  • 3李娜,河南大学学报,1989年,4期
  • 4Zhang Jinwen,数学学报,1986年,29卷,2期,217页
  • 5Zhang Jinwen,中国科学.A,1985年,5期,474页
  • 6Zhang Jinwen,新乡师范学院学报,1984年,3期,1页

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部