7 search results - page 1 / 2 » bsl 2006 |
68
Voted
BSL
2006
14 years 11 months ago
2006
66
Voted
BSL
2006
14 years 11 months ago
2006
90
Voted
BSL
2006
14 years 11 months ago
2006
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...
81
Voted
BSL
2006
14 years 11 months ago
2006
We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as good as seems possible th...
96
Voted
BSL
2006
14 years 11 months ago
2006
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard ari...