Generalized real numbers in constructive mathematics
type: Item
instance of: scholarly article
title: Generalized real numbers in constructive mathematics
zbMATH Open document ID: 0915.03048
DOI: 10.1016/S0019-3577(98)80037-2
author: Fred Richman
published in: Indagationes Mathematicae. New Series
publication date: 1999-02-17T00:00:00Z
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 1251216
zbMATH Keywords: constructive mathematics
zbMATH Keywords: extensions of the real number system
zbMATH Keywords: uppercuts
zbMATH Keywords: lowercuts
MaRDI profile type: Publication
cites work: Q5591514
cites work: Sets, complements and boundaries
cites work: On Constructive Fields
cites work: Q3869344
cites work: Constructivism in mathematics. An introduction. Volume II
description: scientific article; zbMATH DE number 1251216