๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Foundation of basic arithmetic

โœ Scribed by Jasbir S. Chahal

Publisher
Indian Academy of Sciences
Year
2006
Tongue
English
Weight
718 KB
Volume
11
Category
Article
ISSN
0971-8044

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Foundation of basic arithmetic
Foundation of basic arithmetic
โœ Jasbir S. Chahal ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Indian Academy of Sciences ๐ŸŒ English โš– 493 KB
Predicative foundations of arithmetic
Predicative foundations of arithmetic
โœ Solomon Feferman; Geoffrey Hellman ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 781 KB
Provably total functions of Basic Arithm
Provably total functions of Basic Arithmetic
โœ Saeed Salehi ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 134 KB

## Abstract It is shown that all the provably total functions of Basic Arithmetic BA, a theory introduced by Ruitenburg based on Predicate Basic Calculus, are primitive recursive. Along the proof a new kind of primitive recursive realizability to which BA is sound, is introduced. This realizability

Foundations of basic geometry
Foundations of basic geometry
โœ Jasbir S. Chahal ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Indian Academy of Sciences ๐ŸŒ English โš– 592 KB