Journal of Symbolic Logic

Some Elementary Results in Intutionistic Model Theory

Wim Veldman and Frank Waaldijk

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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.

Article information

Source
J. Symbolic Logic, Volume 61, Issue 3 (1996), 745-767.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745074

Mathematical Reviews number (MathSciNet)
MR1412507

Zentralblatt MATH identifier
0860.03041

JSTOR
links.jstor.org

Citation

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


Export citation