聚合公理系统的布尔值模型  

THE BOOLEAN VALUED MODEL OF THE CONGLOMERATE AXIOMATIC SYSTEM

作　　者：栾静闻[1] 

机构地区：[1]武汉水利电力大学

出　　处：《数学杂志》1997年第2期207-213,共7页Journal of Mathematics

摘　　要：本文以ＺＦｃ聚合公理系统为基础，构造了ＺＦｃ的布尔值模型，证明了关键定理９、定理１５，使得ＺＦ集合公理系统的布尔值模型Ｖ（Ｂ）Ｏｎ是聚合公理系统的布尔值模型〔Ｖ（Ｂ）ＯＮ〕的子模型。On the basis of ZF C conglomerate axiomatic system,the Boolean valued model of ZF C and the main theorems 9 and 15 are given. The paper shows that the Boolean valued model V (B) On  on ZF set axiomatic system is the submodel of Boolean valued model V (B) ON on ZF C conglomerate axiomatic system, and the axioms of ZF is satisfied in V (B) ON .

关 键 词：序量 二型类 布尔值模型 聚合公理系统 

分 类 号：O141[理学—数学]