Explaining the Gentzen-Takeuti reduction steps: a second-order system

Authors
Buchholz, W
Citation
W. Buchholz, Explaining the Gentzen-Takeuti reduction steps: a second-order system, ARCH MATH L, 40(4), 2001, pp. 255-272
Citations number
12
Categorie Soggetti
Mathematics
Journal title
ARCHIVE FOR MATHEMATICAL LOGIC
ISSN journal
09335846 → ACNP
Volume
40
Issue
4
Year of publication
2001
Pages
255 - 272
Database
ISI
SICI code
0933-5846(200105)40:4<255:ETGRSA>2.0.ZU;2-4
Abstract
Using the concept of notations for infinitary derivations we give an explan ation of Takeuti's reduction steps on finite: derivations (used in his cons istency proof for Pi / -CA) in terms of the more perspicious infinitary app roach from [BS88].