𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On arithmetic complexity of certain constructive logics

✍ Scribed by V. E. Plisko

Publisher
SP MAIK Nauka/Interperiodica
Year
1992
Tongue
English
Weight
655 KB
Volume
52
Category
Article
ISSN
0001-4346

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