@misc{J50arxiv,
  urlDBLP = {https://dblp.org/rec/journals/corr/abs-1910-08955.html},
  doi =		 {10.48550/ARXIV.1910.08955},
  urlArxiv =		 {https://arxiv.org/abs/1910.08955},
  author =	 {Benzm{\"u}ller, Christoph and Fuenmayor, David},
  title =	 {Computer-supported Analysis of Positive Properties,
                  Ultrafilters and Modal Collapse in Variants of
                  Gödel's Ontological Argument},
  publisher =	 {arXiv},
  note =         {Preprint},
  year =	 2019,
  copyright =	 {arXiv.org perpetual, non-exclusive license}
}

{"_id":"jjwTqSWPcLcoK6rrq","bibbaseid":"benzmller-fuenmayor-computersupportedanalysisofpositivepropertiesultrafiltersandmodalcollapseinvariantsofgdelsontologicalargument-2019","author_short":["Benzmüller, C.","Fuenmayor, D."],"bibdata":{"bibtype":"misc","type":"misc","urldblp":"https://dblp.org/rec/journals/corr/abs-1910-08955.html","doi":"10.48550/ARXIV.1910.08955","urlarxiv":"https://arxiv.org/abs/1910.08955","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Fuenmayor"],"firstnames":["David"],"suffixes":[]}],"title":"Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument","publisher":"arXiv","note":"Preprint","year":"2019","copyright":"arXiv.org perpetual, non-exclusive license","bibtex":"@misc{J50arxiv,\n urlDBLP = {https://dblp.org/rec/journals/corr/abs-1910-08955.html},\n doi =\t\t {10.48550/ARXIV.1910.08955},\n urlArxiv =\t\t {https://arxiv.org/abs/1910.08955},\n author =\t {Benzm{\\\"u}ller, Christoph and Fuenmayor, David},\n title =\t {Computer-supported Analysis of Positive Properties,\n Ultrafilters and Modal Collapse in Variants of\n Gödel's Ontological Argument},\n publisher =\t {arXiv},\n note = {Preprint},\n year =\t 2019,\n copyright =\t {arXiv.org perpetual, non-exclusive license}\n}\n\n\n","author_short":["Benzmüller, C.","Fuenmayor, D."],"key":"J50arxiv","id":"J50arxiv","bibbaseid":"benzmller-fuenmayor-computersupportedanalysisofpositivepropertiesultrafiltersandmodalcollapseinvariantsofgdelsontologicalargument-2019","role":"author","urls":{"Dblp":"https://dblp.org/rec/journals/corr/abs-1910-08955.html","Arxiv":"https://arxiv.org/abs/1910.08955"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"misc","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["computer","supported","analysis","positive","properties","ultrafilters","modal","collapse","variants","del","ontological","argument","benzmüller","fuenmayor"],"title":"Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument","year":2019,"downloads":1}