𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Foundations of Arithmetic

✍ Scribed by Frege, Gottlob


Year
0
Tongue
English
Weight
5 MB
Category
Fiction

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Predicative foundations of arithmetic
✍ Solomon Feferman; Geoffrey Hellman πŸ“‚ Article πŸ“… 1995 πŸ› Springer Netherlands 🌐 English βš– 781 KB
Foundation of basic arithmetic
✍ Jasbir S. Chahal πŸ“‚ Article πŸ“… 2006 πŸ› Indian Academy of Sciences 🌐 English βš– 718 KB
Foundation of basic arithmetic
✍ Jasbir S. Chahal πŸ“‚ Article πŸ“… 2006 πŸ› Indian Academy of Sciences 🌐 English βš– 493 KB
Arithmetic complexity of the predicate l
✍ 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