𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ramified Frege Arithmetic

✍ Scribed by Richard G. Heck

Book ID
106452719
Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
348 KB
Volume
40
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Frege, logic, and arithmetic
Frege, logic, and arithmetic
✍ E. D. Klemke πŸ“‚ Article πŸ“… 1970 πŸ› Springer Netherlands 🌐 English βš– 231 KB
A bounded arithmetic AID for Frege syste
A bounded arithmetic AID for Frege systems
✍ Toshiyasu Arai πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 303 KB

In this paper we introduce a system AID (alogtime inductive deΓΏnitions) of bounded arithmetic. The main feature of AID is to allow a form of inductive deΓΏnitions, which was extracted from Buss' propositional consistency proof of Frege systems F in Buss (Ann. Pure Appl. Logic 52 (1991) 3-29). We show