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




Author(s): Benzmüller, Christoph  ; Fuenmayor Pelaez, David  
Publisher Information: arXiv
Year of publication: 2019
Pages: 21
Language(s): English
DOI: 10.48550/ARXIV.1910.08955
URL: https://arxiv.org/abs/1910.08955
Type: Preprint
URI: https://fis.uni-bamberg.de/handle/uniba/55651
Release Date: 21. September 2022