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
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