| The Boolean—Valued Model of the Conglomerate Axiom System ACG |
| |
| 引用本文： | 李娜.The Boolean—Valued Model of the Conglomerate Axiom System ACG[J].数学季刊,1993,8(1):81-87. |
| |
| 作者姓名： | 李娜 |
| |
| 摘 要： | The paper1] 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) (see2])and ∧^(B)(see5]),and proves:(1)Ω^(B) is Boolean-Valued model of the conglomerate axiom system ACG;(2)The maximum and minimum principles are true in Ω^(B).
|
| 关 键 词： | 布尔值模型 聚合公理系统 布尔代数 ACG COG 二型序数 最大最小原理 |
| 本文献已被 维普 等数据库收录！ |
|
