Signed-bit representations of real numbers

DOI10.4115/JLA.2009.1.10MaRDI QIDQ3145944zbMATH OpenOpenAlexFDO

Authors Robert S. Lubarsky, Fred Richman

Publication date 17 December 2012

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1510.00648

zbMATH Keywords

constructive analysisRiesz spacessigned binary

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40) Constructive functional analysis (46S30)

Abstract: The signed-bit representation of real numbers is like the binary representation, but in addition to 0 and 1 you can also use -1. It lends itself especially well to the constructive (intuitionistic) theory of the real numbers. The first part of the paper develops and studies the signed-bit equivalents of three common notions of a real number: Dedekind cuts, Cauchy sequences, and regular sequences. This theory is then applied to homomorphisms of Riesz spaces into the reals.

Recommendations

• scientific article; zbMATH DE number 1231646
• scientific article; zbMATH DE number 1231567
• Real numbers, continued fractions and complexity classes
• Standard representations of real numbers
• On the representation of real numbers using regular languages

Cited in

(6)

• Carry propagation in signed digit representations
• The decimal representation of real numbers
• ON THE BITS COUNTING FUNCTION OF REAL NUMBERS
• scientific article; zbMATH DE number 1231643 (Why is no real title available?)
• On the most suitable axiomatization of signed integers
• Completion of premetric spaces

This page was built for publication: Signed-bit representations of real numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3145944)