Confined modified realizability

DOI10.1002/MALQ.200810029zbMATH Open1184.03056OpenAlexW2097937928MaRDI QIDQ3406445FDOQ3406445

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

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

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)

Cites Work

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

Cited In (4)

• Herbrandized modified realizability
• On bounded functional interpretations
• Bounded modified realizability
• Relative and modified relative 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)