Constructing illoyal algebra-valued models of set theory Löwe, Benedikt Paßmann, Robert Tarafder, Sourav 2021 - Forschungsinformationssystem der UHH