Article contents
Some elementary results in intuitionistic model theory
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1996
References
REFERENCES
- 3
- Cited by