Non-Classical Set Theories and Logics Associated With Them
Sourav Tarafder · Bulletin of Symbolic Logic · 2019
The theory of algebra-valued models of set theory was initiated in the 1960s by Dana Scott, Robert M. Solovay, and Petr Vopnka. They took a model of set theory V and a Boolean algebra B to construct a new algebra-valued model of set theory V B . If the algebra is a Boolean algebra, this model will be a model of classical set theory ZFC.