Benzmüller, Christoph, and David Fuenmayor. “Computer-Supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument”. Bulletin of the Section of Logic 49, no. 2 (June 30, 2020): 127–148. Accessed May 3, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/7976.