Generalized real numbers in constructive mathematics

DOI10.1016/S0019-3577(98)80037-2zbMath0915.03048MaRDI QIDQ1279733

Fred Richman

Publication date: 17 February 1999

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicsextensions of the real number systemlowercutsuppercuts

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (7)

AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Locatedness and overt sublocales ⋮ Adjoints and the image of the ball ⋮ The anti-Specker property, positivity, and total boundedness ⋮ Every metric space is separable in function realizability ⋮ Zero sets of univariate polynomials ⋮ Spreads and choice in constructive mathematics.

Cites Work

• Unnamed Item
• Unnamed Item
• Sets, complements and boundaries
• Constructivism in mathematics. An introduction. Volume II
• On Constructive Fields

This page was built for publication: Generalized real numbers in constructive mathematics