Article contents
Axioms for constructive fields
Published online by Cambridge University Press: 17 April 2009
Abstract
In constructive mathematics the Dedekind cut definition of real number is not equivalent to the definition of real number by Cauchy sequences, and the Dedekind real numbers do not satisfy Heyting's axioms for constructive fields. A more general notion of constructive field is proposed which includes the Dedekind real numbers; some linear algebra is given which applies to such fields.
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1973
References
- 1
- Cited by