Unramified forcing preserving the law of double negation. A. Abian, K. Keremedis (1987) Archiv für mathematische Logik und Grundlagenforschung