On Goodman realizability

DOI10.1215/00294527-2019-0018OpenAlexW2783607922MaRDI QIDQ2330510

Emanuele Frittaion

Publication date: 22 October 2019

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1801.04968

zbMATH Keywords

extensionalityrealizabilityaxiom of choiceGoodman

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY

Cites Work

• Unnamed Item
• Extended bar induction in applicative theories
• Goodman's theorem and beyond
• Arithmetical conservation results
• About Goodman's theorem
• A note on Goodman's theorem
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• The theory of the Gödel functionals
• Relativized realizability in intuitionistic arithmetic of all finite types
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics