𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On coalgebra of real numbers

✍ Scribed by D. Pavlović; V. Pratt

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
196 KB
Volume
19
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On approximation of real numbers by alge
On approximation of real numbers by algebraic numbers of bounded degree
✍ Kiryl I. Tsishchanka 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 228 KB

Dirichlet proved that for any real irrational number ξ there exist infinitely many rational numbers p/q such that |ξp/q| < q -2 . The correct generalization to the case of approximation by algebraic numbers of degree n, n > 2, is still unknown. Here we prove a result which improves all previous esti

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.

Recursive Approximability of Real Number
Recursive Approximability of Real Numbers
✍ Xizhong Zheng 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 359 KB

A real number is recursively approximable if there is a computable sequence of rational numbers converging to it. If some extra condition to the convergence is added, then the limit real number might have more effectivity. In this note we summarize some recent attempts to classify the recursively ap