Proofs Without Nominals: G\"odel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes HX1QA0MJYV

URI	`m2://res/HX1QA0MJYV`
Kind	preprint
Creators	Christoph Benzmüller
Date	2026-09-28
MSC	03B45, 03B35, 03A05
Subjects	arxiv cs.LO, arxiv cs.AI, arxiv math.LO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
11WRHNKGKP	statement	corollary 14	arxiv
$\mathcal{L}$-general model	definition	definition 2	arxiv
hybrid-free	definition	definition 1	arxiv
28N0REBHQM	statement	proposition 15	arxiv
46CVJ30ZV1	statement	lemma 1	arxiv
48KZ9RR7K1	statement	theorem 8	arxiv
\tc{Serial	statement	lemma 9	arxiv
\tc{G\_ex	statement	theorem 4	arxiv
soundness of the criterion	statement	proposition 2	arxiv
\tc{Ax1GenTwoVariant3Th4	statement	theorem 17	arxiv
BJ9VQMZGFV	statement	lemma 3	arxiv
\tc{Ax1GenTwoVariant3Plain	statement	theorem 18	arxiv
DES3GVAECC	statement	theorem 11	arxiv
\tc{NoNecExist	statement	theorem 7	arxiv
\tc{G\_ex\_Two\_at	statement	theorem 13	arxiv
MP581CFJR0	statement	proposition 19	arxiv
soundness over $\mathcal{L}$-general models	statement	proposition 20	arxiv
\tc{L\_Two	statement	lemma 12	arxiv
\tc{Reach\_K	statement	lemma 10	arxiv
V4HFGQR8F4	statement	theorem 6	arxiv
\tc{Ax1GenTwoScott	statement	theorem 16	arxiv
Y7HM2FC0MH	statement	theorem 5	arxiv
a separating sentence	example	example 21	arxiv