Unramified forcing preserving the law of double negation
From MaRDI portal
Publication:3788000
DOI10.1007/BF02017502zbMath0645.03049WikidataQ114852618 ScholiaQ114852618MaRDI QIDQ3788000
Kyriakos Keremedis, Alexander Abian
Publication date: 1987
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/138062
03E40: Other aspects of forcing and Boolean-valued models
Cites Work