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