Some Elementary Results in Intutionistic Model Theory

Veldman, Wim; Waaldijk, Frank

J. Symbolic Logic, Tome 61 (1996) no. 1, p. 745-767 / Harvested from Project Euclid

Résumé

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.

Publié le : 1996-09-14
Classification:

@article{1183745074,
     author = {Veldman, Wim and Waaldijk, Frank},
     title = {Some Elementary Results in Intutionistic Model Theory},
     journal = {J. Symbolic Logic},
     volume = {61},
     number = {1},
     year = {1996},
     pages = { 745-767},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745074}
}

Veldman, Wim; Waaldijk, Frank. Some Elementary Results in Intutionistic Model Theory. J. Symbolic Logic, Tome 61 (1996) no. 1, pp.  745-767. http://gdmltest.u-ga.fr/item/1183745074/