Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 61, Issue 3 (1996), 745-767.
Some Elementary Results in Intutionistic Model Theory
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.
J. Symbolic Logic, Volume 61, Issue 3 (1996), 745-767.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Veldman, Wim; Waaldijk, Frank. Some Elementary Results in Intutionistic Model Theory. J. Symbolic Logic 61 (1996), no. 3, 745--767. https://projecteuclid.org/euclid.jsl/1183745074