On Goodman realizability
type: Item
instance of: scholarly article
title: On Goodman realizability
DOI: 10.1215/00294527-2019-0018
author: Emanuele Frittaion
published in: Notre Dame Journal of Formal Logic
publication date: 2019-10-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/1801.04968
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1562918420
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 7120754
zbMATH Keywords: Goodman
zbMATH Keywords: realizability
zbMATH Keywords: axiom of choice
zbMATH Keywords: extensionality
MaRDI profile type: Publication
OpenAlex ID: W2783607922
cites work: Goodman's theorem and beyond
cites work: Q3679172
cites work: About Goodman's theorem
cites work: The theory of the Gödel functionals
cites work: Relativized realizability in intuitionistic arithmetic of all finite types
cites work: A note on Goodman's theorem
cites work: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
cites work: Extended bar induction in applicative theories
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Arithmetical conservation results
description: scientific article; zbMATH DE number 7120754