A realizability interpretation for classical analysis

DOI10.1007/S00153-004-0233-3zbMath1060.03082OpenAlexW2121919383MaRDI QIDQ1762729

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

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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