𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on Chung's Strong Law of Large Numbers

✍ Scribed by Cvetan Jardas; Josip Pečarić; Nikola Sarapa


Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
104 KB
Volume
217
Category
Article
ISSN
0022-247X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A note on the axiomatisation of real num
✍ 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