Some elementary results in intuitionistic model theory
Wim Veldman, Frank Waaldijk · Journal of Symbolic Logic · 1996
Abstract We establish constructive refinements of several well-known theorems in elementary model theory. The additive group of the real numbers may be embedded elementarily into the additive group of pairs of real numbers, constructively as well as classically.