Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

MSCS
2006

favoriteEmaildiscussreport

100views more MSCS 2006»

Modified bar recursion

13 years 4 months ago

Modified bar recursion

Download www-compsci.swan.ac.uk

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 concerning this scheme of bar recursion and its relations to well-known functionals. In particular we show that Spector's bar recursion can be defined primitive recursively via the scheme of modified bar recursion, but not the other way around. Key words: 1991 MSC:

Ulrich Berger, Paulo Oliva

Real-time Traffic

Bar Recursion | Classical Axioms | MSCS 2006 | Realizability Interpretation |

claim paper

Related Content

» Understanding and Using Spectors Bar Recursive Interpretation of Classical Analysis

» Selection functions bar recursion and backward induction

» The bounded functional interpretation of the double negation shift

» Hough Technique for Bar Charts Detection and Recognition in Document Images

» A Proof of Strong Normalisation using Domain Theory

» Designing and constructing modifiable middleware using component frameworks

» Modified Compressive Sensing For Realtime Dynamic Mr Imaging

» A Recursive Taylor Method for Ray Casting Algebraic Surfaces

» Sign Haar Transform

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2006
Where	MSCS
Authors	Ulrich Berger, Paulo Oliva

Comments (0)