𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Priority of Arithmetical Truth Over Arithmetical Provability

✍ Scribed by Enrico Martino

Book ID
110331360
Publisher
Springer Netherlands
Year
2002
Tongue
English
Weight
69 KB
Volume
21
Category
Article
ISSN
0167-7411

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

PROVABILITY LOGIC IN THE GENTZEN FORMULA
PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
✍ Paolo Gentilini; P. Gentilini πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 796 KB

## Abstract In this paper are studied the properties of the proofs in PRA of provability logic sentences, i.e. of formulas which are Boolean combinations of formulas of the form P~IPRA~(h), where h is the GΓΆdel‐number of a sentence in PRA. The main result is a Normal Form Theorem on the proof‐trees