Herbrandized modified realizability
type: Item
instance of: scholarly article
title: Herbrandized modified realizability
author: Gilda Ferreira
author: Paulo Renato A. Firmino
published in: Archive for Mathematical Logic
publication date: 2024-07-02T00:00:00Z
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F25
zbMATH DE Number: 7874621
zbMATH Keywords: realizability
zbMATH Keywords: star combinatory calculus
zbMATH Keywords: finite sets
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: Heyting arithmetic
MaRDI profile type: Publication
cites work: Functional interpretation and inductive definitions
cites work: A Herbrandised Interpretation of Semi-Intuitionistic Second-Order Arithmetic with Function Variables
cites work: The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
cites work: Weak König's lemma in Herbrandized classical second-order arithmetic
cites work: A herbrandized functional interpretation of classical first-order logic
cites work: Bounded modified realizability
cites work: Bounded functional interpretation
cites work: Confined modified realizability
cites work: On the interpretation of intuitionistic number theory
cites work: Q3837732
cites work: On weak completeness of intuitionistic predicate logic
cites work: Intensional interpretations of functionals of finite type I
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q4716271
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: A functional interpretation for nonstandard arithmetic
DOI: 10.1007/S00153-024-00917-6
description: scientific article; zbMATH DE number 7874621