{"id":"arxiv/2607.11367","url":"https://arxiv.org/abs/2607.11367","tags":["math.LO"],"score":0,"title":"Weak essentially undecidable theories of hereditarily finite multisets","domain":"math.LO","source":"arxiv","authors":["Platon Sifnaios"],"reviews":0,"subject":"math.LO","summary":"We introduce two first-order theories of hereditarily finite multisets: a schematic theory WF^- and a finitely axiomatized theory F^-, in the language with the empty multiset, singleton formation, multiset union, and a containment relation. We prove that WF^- is mutually interpretable with Robinson's theory R, and F^- with Robinson arithmetic Q; in particular, F^- is essentially undecidable. Multisets thereby join numbers, strings, trees, sets, and sequences in the mutual-interpretability classes of R and Q. The distinctive obstacle of the multiset case is the simultaneous failure of the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}