This is an old revision of the document!
Simple QE for Dense Linear Orders
Example of dense linear order: rational numbers with less-than relation. Also, real numbers with less-than relation.
Theory of Dense Linear Orders
Language .
Formulas are formulas true in structure for all values of free variables.