𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predicative foundations of arithmetic

✍ Scribed by Solomon Feferman; Geoffrey Hellman

Publisher
Springer Netherlands
Year
1995
Tongue
English
Weight
781 KB
Volume
24
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Arithmetic complexity of the predicate l
Arithmetic complexity of the predicate logics of certain complete arithmetic theories
✍ Valery Plisko πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 137 KB

It is proved in this paper that the predicate logic of each complete constructive arithmetic theory T having the existential property is T 1 -complete. In this connection, the techniques of a uniform partial truth deΓΏnition for intuitionistic arithmetic theories is used. The main theorem is applied

Foundation of basic arithmetic
Foundation of basic arithmetic
✍ Jasbir S. Chahal πŸ“‚ Article πŸ“… 2006 πŸ› Indian Academy of Sciences 🌐 English βš– 718 KB
Foundation of basic arithmetic
Foundation of basic arithmetic
✍ Jasbir S. Chahal πŸ“‚ Article πŸ“… 2006 πŸ› Indian Academy of Sciences 🌐 English βš– 493 KB