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
相关论文
共 6 条
  • [1] Gutman A E(2018)On the structure of the Boolean-valued universe Vladikavkaz. Mat. Zh. 20 38-48
  • [2] Gutman A E(2012)An example of using Δ Vladikavkaz. Mat. Zh. 14 47-63
  • [3] Solovay R M(1971) terms in Boolean-valued analysis Ann. Math. 94 201-245
  • [4] Tennenbaum S(1998)Iterated Cohen extensions and Souslin’s problem Siberian Adv. Math. 8 99-120
  • [5] Gutman A E(undefined)Function representation of the Boolean-valued universe undefined undefined undefined-undefined
  • [6] Losenkov G A(undefined)undefined undefined undefined undefined-undefined
1