Generalized algebra-valued models of set theory
Benedikt Löwe, Sourav Tarafder

Abstract: