Flagg realizability in arithmetic

DOI10.2307/2274062MaRDI QIDQ3764127zbMATH OpenOpenAlexFDO

Authors Nicolas D. Goodman

Publication date 1986

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

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

zbMATH Keywords

classical arithmetic with S4-necessityEAFlagg realizabilityGödel-Tarski operationintuitionistic arithmetic HAKleene realizabilitymodal arithmetic system IEA based on intuitionistic logicmodal translation

Mathematics Subject Classification ID

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

Recommendations

• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• scientific article; zbMATH DE number 4197953
• scientific article; zbMATH DE number 60832
• Modal-epistemic variants of Shapiro's system of epistemic arithmetic

Cited in

(6)

• Provability in principle and controversial constructivistic principles
• FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL
• scientific article; zbMATH DE number 1415124 (Why is no real title available?)
• scientific article; zbMATH DE number 4197953 (Why is no real title available?)
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Topological models of epistemic set theory

This page was built for publication: Flagg realizability in arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3764127)