A direct proof of Schwichtenberg's bar recursion closure theorem
The Journal of Symbolic Logic
MetadataShow full item record
In 1979 Schwichtenberg showed that the System T definable functionals are closed under a rule-like version Spector's bar recursion of lowest type levels 0 and 1. More precisely...
AuthorsBORGES OLIVA, P; Steila, S
- College Publications