40 citations · 211 across the 45 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument
Christoph Benzmüller
Gödel's ontological argument is modal by design. Possibility and necessity are among its central concerns, and connected interpretation decisions -- extensions or intensions for th…
math.LO2022★ 5 cited
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
Christoph Benzmüller, David Fuenmayor, Alexander Steen +1
This paper reports on an exploration of Boolos' Curious Inference, using higher-order automated theorem provers (ATPs). Surprisingly, only suitable shorthand notations had to be pr…