Proofs Without Nominals : Gödel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-10-052026-10-052026https://fis.uni-bamberg.de/handle/uniba/117503engProofs Without Nominals : Gödel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notespreprint10.48550/arxiv.2609.362792609.36279