𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the local and the extension Nielsen numbers

✍ Scribed by Peter Wong

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
426 KB
Volume
48
Category
Article
ISSN
0166-8641

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Note on the Extension Principle
A Note on the Extension Principle
✍ Radim BΔ›lohlΓ‘vek πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 53 KB
A note on the bichromatic numbers of gra
A note on the bichromatic numbers of graphs
✍ Dennis D. A. Epple; Jing Huang πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 90 KB πŸ‘ 2 views
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