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)
03F60: Constructive and recursive analysis
Related Items
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS, Every metric space is separable in function realizability, Locatedness and overt sublocales, Spreads and choice in constructive mathematics., Adjoints and the image of the ball, Zero sets of univariate polynomials, The anti-Specker property, positivity, and total boundedness
Cites Work