#first-order theory

topicfirst-order theory

1 paper · 1 filter

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…