$\Sigma$-presentations of the ordering on the reals

We prove the nonexistence of universal $\Sigma$-presentable linear orderings as well as the effective infinity of the class of $\Sigma$-presentations of the natural order on $\mathbb R$ over an admissible set $\mathbb{HF(R)}$.