Constructive Dedekind cuts

MaRDI QIDQ2565309zbMATH OpenFDO

Authors Azza K. Khalifa, Emad El-Din H. Hasan

Publication date 28 January 1997

Published in Journal of the Egyptian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

constructive Dedekind cutconstructive definition of the realsMarkov algorithms

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Review text

The authors give a constructive definition of the reals using a special kind of Dedekind cut, and discuss the equivalence/inequivalence of their notion with certain other constructive notions of real number. The paper uses the theory and notation of Markov algorithms.

Recommendations

• Generalized real numbers in constructive mathematics
• scientific article; zbMATH DE number 1795228
• scientific article; zbMATH DE number 1863376
• Constructing the real numbers in HOL

Cited in

(8)

• Generalized real numbers in constructive mathematics
• A model of the real number set
• The effective reals of Schanuel
• On Constructive Cut Admissibility in Deduction Modulo
• scientific article; zbMATH DE number 4075042 (Why is no real title available?)
• Algebraic cuts
• scientific article; zbMATH DE number 1863376 (Why is no real title available?)
• A generalized cut characterization of the fullness axiom in CZF

This page was built for publication: Constructive Dedekind cuts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2565309)