Translator Disclaimer
August 2019 On Goodman Realizability
Emanuele Frittaion
Notre Dame J. Formal Logic 60(3): 523-550 (August 2019). DOI: 10.1215/00294527-2019-0018

Abstract

Goodman’s theorem states that HAω+AC+RDC is conservative over HA. The same result applies to the extensional case, that is, E-HAω+AC+RDC is also conservative over HA. This is due to Beeson. In this article, we modify Goodman realizability and provide a new proof of the extensional case.

Citation

Download Citation

Emanuele Frittaion. "On Goodman Realizability." Notre Dame J. Formal Logic 60 (3) 523 - 550, August 2019. https://doi.org/10.1215/00294527-2019-0018

Information

Received: 8 November 2017; Accepted: 8 March 2018; Published: August 2019
First available in Project Euclid: 12 July 2019

zbMATH: 07120754
MathSciNet: MR3985625
Digital Object Identifier: 10.1215/00294527-2019-0018

Subjects:
Primary: 03F03
Secondary: 03F10, 03F30, 03F35, 03F50

Rights: Copyright © 2019 University of Notre Dame

JOURNAL ARTICLE
28 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.60 • No. 3 • August 2019
Back to Top