Axioms for constructive fields
John Staples · Bulletin of the Australian Mathematical Society · 1973
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.