How do you prove the decidability of the empty theory and theory of linear orders?(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# The empty theory

**Physics Forums | Science Articles, Homework Help, Discussion**