Sciweavers

2 search results - page 1 / 1
» Understanding and Using Spector's Bar Recursive Interpretati...
Sort
View
CIE
2006
Springer
13 years 7 months ago
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
Paulo Oliva
MSCS
2006
100views more  MSCS 2006»
13 years 3 months ago
Modified bar recursion
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
Ulrich Berger, Paulo Oliva