Generalized real numbers in constructive mathematics
From MaRDI portal
Publication:1279733
DOI10.1016/S0019-3577(98)80037-2zbMath0915.03048MaRDI QIDQ1279733
Publication date: 17 February 1999
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
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
This page was built for publication: Generalized real numbers in constructive mathematics