Negative Membership
Negative Membership
复制标题
负面会员资格
DOI：
10.1305/ndjfl/1093635499
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
Wayne D. Blizard
中科院分区：
文献类型：
--
作者：
Wayne D. Blizard
广义集的特征函数可以采用任何整数值，无论是正数还是负数，其形式化为一阶二排序理论 MSTZ，它包含 ZFC 的精确副本并且相对一致。 —4 份 c. MSTZ 理论是 MST 理论的推广（参见 [1] 和 [2]）。我们证明 MSTZ 包含 ZFC 的精确副本，并且 MSTZ 相对一致。
Generalized sets whose characteristic functions may assume any integer value, positive or negative, are formalized in a first-order two-sorted theory MSTZ which contains an exact copy of ZFC and is relatively consistent. —4 copies of c. The theory MSTZ is a gener-alization of the theory MST (see [1] and [2]). We show that MSTZ contains an exact copy of ZFC and that MSTZ is relatively consistent.