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

Exact estimates of the provability of transfinite induction in the initial segments of arithmetic

โœ Scribed by G. E. Mints

Publisher
Springer US
Year
1972
Tongue
English
Weight
511 KB
Volume
1
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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