𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real Number Computations: On the Use of Information

✍ Scribed by Klaus Meer

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
266 KB
Volume
18
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on the axiomatisation of real num
A note on the axiomatisation of real numbers
✍ Thierry Coquand; L. Henri Lombardi πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 86 KB πŸ‘ 2 views

## Abstract Is it possible to give an abstract characterisation of constructive real numbers? A condition should be that all axioms are valid for Dedekind reals in any topos, or for constructive reals in Bishop mathematics. We present here a possible first‐order axiomatisation of real numbers, whic

On the Pythagoras Numbers of Real Analyt
On the Pythagoras Numbers of Real Analytic Rings
✍ JosΓ© F Fernando πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 155 KB

We show that the Pythagoras number of a real analytic ring of dimension 2 is finite, bounded by a function of the multiplicity and the codimension.

The Arithmetical Hierarchy of Real Numbe
The Arithmetical Hierarchy of Real Numbers
✍ Xizhong Zheng; Klaus Weihrauch πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 225 KB πŸ‘ 1 views
On Ξ£-definability without equality over
On Ξ£-definability without equality over the real numbers
✍ Andrei S. Morozov; Margarita V. Korovina πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 139 KB

## Abstract In [5] (1982) it has been shown that for first‐order definability over the reals there exists an effective procedure which by a finite formula with equality defining an open set produces a finite formula without equality that defines the same set. In this paper we prove that there exist