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

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Fuenmayor, DavidDavidFuenmayor0000-0002-0042-45382022-09-212022-09-212019https://fis.uni-bamberg.de/handle/uniba/55651engComputer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argumentpreprint10.48550/ARXIV.1910.08955https://arxiv.org/abs/1910.08955