Flagg realizability in arithmetic

DOI10.2307/2274062zbMath0628.03009OpenAlexW4254657190MaRDI QIDQ3764127

Nicolas D. Goodman

Publication date: 1986

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274062

zbMATH Keywords

intuitionistic arithmetic HAEAKleene realizabilityclassical arithmetic with S4-necessityFlagg realizabilityGödel-Tarski operationmodal arithmetic system IEA based on intuitionistic logicmodal translation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Related Items (3)

Provability in principle and controversial constructivistic principles ⋮ Topological models of epistemic set theory ⋮ REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION

This page was built for publication: Flagg realizability in arithmetic