Boolean-Valued Universe as an Algebraic System. I: Basic Principles

被引：0
|
作者：
A. E. Gutman
机构：
[1] Novosibirsk State University,Sobolev Institute of Mathematics
来源：
Siberian Mathematical Journal | 2019年 / 60卷
关键词：
Boolean-valued algebraic system; set theory; Boolean-valued analysis;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The paper is devoted to the study of Boolean-valued algebraic systems of set-theoretic signature. The technique of partial elements of these systems is developed. Some formal apparatus is presented for using partial elements and Boolean-valued classes in the truth values of formulas. The predicative Boolean-valued classes are studied that admit quantification. Logical interrelations are described between the basic properties of Boolean-valued systems: the transfer, mixing, and maximum principles.
引用
收藏
页码：810 / 827
页数：17
相关论文
共 25 条
123