Confined modified realizability

DOI10.1002/MALQ.200810029MaRDI QIDQ3406445zbMATH OpenOpenAlexFDO

Authors Gilda Ferreira, Paulo Oliva

Publication date 16 February 2010

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200810029

zbMATH Keywords

majorizabilitybounded modified realizabilitymonotone modified realizability

Mathematics Subject Classification ID

Structure of proofs (03F07) Relative consistency and interpretations (03F25) Functionals in proof theory (03F10)

Recommendations

• Bounded modified realizability
• On bounded functional interpretations
• Bounded functional interpretation
• Constructive forcing, CPS translations and witness extraction in interactive realizability
• Internalising modified realisability in constructive type theory

Cites work

• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 3009067 (Why is no real title available?)
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Bounded functional interpretation and feasible analysis
• Bounded modified realizability
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• On the interpretation of intuitionistic number theory
• Pointwise hereditary majorization and some applications
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals

Cited in

(4)

• On bounded functional interpretations
• Relative and modified relative realizability
• Herbrandized modified realizability
• Bounded modified realizability

This page was built for publication: Confined modified realizability

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