essential undecidability 1first-order theory 1hereditarily finite multisets 1interpretability 1Robinson arithmetic 1
From the 1 of 2 linked papers with an AI index.
2 papers
math.LO2026
The gate of self-address: where decidable adjudication ends
Platon Sifnaios
An annulment structure consists of a numbered domain of distinctions with a manifestation predicate; an adjudicator is a partial map assigning to distinctions the verdicts…
math.LO2026
Weak essentially undecidable theories of hereditarily finite multisets
Platon Sifnaios
The paper defines two first‑order theories for hereditarily finite multisets, shows they are mutually interpretable with Robinson's theories R and Q, and proves that the finitely a…