C. Mühlenbeck and C. Benzmüller, “On the Maximality of Positive Properties and Modal Collapse in Variants of Gödel’s Ontological Proof for the Existence of God ”, LLP, pp. 1–21, Mar. 2026.