Sciweavers

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

38

AML
2004

favoriteEmaildiscussreport

66views more AML 2004»

A realizability interpretation for classical analysis

13 years 10 months ago

A realizability interpretation for classical analysis

Download www.math.ucla.edu

We present a realizability interpretation for classical analysis

Henry Towsner

Real-time Traffic

AML 2004 | Classical Analysisan Association | Classical Proofs | Realizability Interpretation |

claim paper

Related Content

» On Krivines Realizability Interpretation of Classical SecondOrder Arithmetic

» Modified Realizability Interpretation of Classical Linear Logic

» Existential witness extraction in classical realizability and via a negative translation

» Proof interpretations with truth

» Computational Interpretations of Classical Linear Logic

» Classical descriptive set theory as a refinement of effective descriptive set theory

» Understanding and Using Spectors Bar Recursive Interpretation of Classical Analysis

» Realizability interpretation of proofs in constructive analysis

» Computational Interpretations of Analysis via Products of Selection Functions

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2004
Where	AML
Authors	Henry Towsner

Comments (0)