Computer-Supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument

Bulletin of the Section of Logic, Tom 49, Numer 2 (2020) s. 127-148
Christoph Benzmüller, David Fuenmayor