The first-order part of the Ordered Variable Word theorem

arXiv:2610.27643 · math.LO · Submitted 2026-10-20 · Read on arXiv

math.LO

Submitted: 2026-10-20

Updated: 2026-10-20

Related papers