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 ${\cal L} = \{ < \}$ .

Formulas are formulas true in structure $(\mathbb{Q},<)$ for all values of free variables.