Boolean-valued model
subject: Category:Boolean algebra
subject: Category:Model theory
title: Boolean-valued model
label: 布尔值模型 @zh
hypernym: Generalization
first: V.N.
label: Modelo booliano valorado @pt
description: set theory concept
subject: Category:Forcing (mathematics)
last: Grishin