Benzmüller C, Fuenmayor D. Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. B Sect Log [Internet]. 2020 Jun. 30 [cited 2024 May 3];49(2):127–148. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/7976