Analyzing realizability by Troelstra's methods

DOI10.1016/S0168-0072(01)00080-XzbMath1003.03047WikidataQ126644509 ScholiaQ126644509MaRDI QIDQ5957857

Joan Rand Moschovakis

Publication date: 22 January 2003

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

realizabilitydouble negation translationintuitionistic analysisintuitionistic arithmeticsemi-intuitionistic theories

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites Work

• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
• Constructivism in mathematics. An introduction. Volume I
• Axiomatizing higher-order Kleene realizability
• A classical view of the intuitionistic continuum
• Realizing Brouwer's sequences
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Lifschitz' realizability
• Relative lawlessness in intuitionistic analysis
• CT 0 is Stronger than CT 0 !
• More about relatively lawless sequences
• Formalized recursive functionals and formalized realizability
• Formal systems for some branches of intuitionistic analysis
• Can there be no nonrecursive functions?
• Recursive Functions and Intuitionistic Number Theory
• On the interpretation of intuitionistic number theory
• Realizability: a historical essay
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item