The ∀∃-theory of R(≤, ∨, ∧) is undecidable (0)

by Russell G Miller, André Nies, Richard A Shore
Venue:Transactions of the American Mathematical Society