A realizability interpretation for classical analysis

DOI10.1007/S00153-004-0233-3MaRDI QIDQ1762729zbMATH OpenOpenAlexFDO

Authors Henry Towsner

Publication date 11 February 2005

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-004-0233-3

zbMATH Keywords

second-order arithmeticclassical analysisrealizability interpretationnumerical witnesseswitness extraction

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Publication:4944901
• Realizability interpretation of proofs in constructive analysis
• Typed realizability for first-order classical analysis
• Relating Classical Realizability and Negative Translation for Existential Witness Extraction
• scientific article; zbMATH DE number 5851813

Cites work

• scientific article; zbMATH DE number 3754681 (Why is no real title available?)
• scientific article; zbMATH DE number 3614784 (Why is no real title available?)
• scientific article; zbMATH DE number 1420833 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On weak completeness of intuitionistic predicate logic

Cited in

(8)

• Typed realizability for first-order classical analysis
• scientific article; zbMATH DE number 1222925 (Why is no real title available?)
• A translation characterizing the constructive content of classical theories
• scientific article; zbMATH DE number 2185652 (Why is no real title available?)
• A Survey of Classical Realizability
• scientific article; zbMATH DE number 1420833 (Why is no real title available?)
• Realizability interpretation of proofs in constructive analysis
• Generalized realizability for extensions of the language of arithmetic

This page was built for publication: A realizability interpretation for classical analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1762729)