The ∀∃theory of R(≤, ∨, ∧) is undecidable
–Russell G. Miller, Andre O. Nies, Richard A. Shore
— 2004
— TRANS. AMER. MATH. SOC

The ∀∃theory of R(≤, ∨, ∧) is undecidable
–Russell G. Miller, Andre O. Nies, Richard A. Shore
— 2002

The ∀∃theory of R(≤, ∨, ∧) is undecidable
–Russell G. Miller, Andre O. Nies, Richard A. Shore
— 2003

The ∀∃theory of R(≤, ∨, ∧) is undecidable
–Russell G. Miller, Andre O. Nies, Richard A. Shore
— 2003
— TRANS. AM. MATH. SOC

The ∀∃theory of R(≤, ∨, ∧) is undecidable
–Russell G. Miller, Andre O. Nies, Richard A. Shore
— 2004
— TRANS. AMER. MATH. SOC
