Bounded modified realizability

DOI10.2178/JSL/1140641178MaRDI QIDQ5477639zbMATH OpenOpenAlexFDO

Authors

Publication date 5 July 2006

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

Full work available at URL https://doi.org/10.2178/jsl/1140641178

zbMATH Keywords

constructive content of arithmetical sentencesFAN theoremMarkov's principleomnisciencerealizabilityweak König's lemma

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Relative consistency and interpretations (03F25) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Recommendations

• Confined modified realizability
• Bounded functional interpretation
• On bounded functional interpretations
• scientific article; zbMATH DE number 1215498
• Generalized realizability and Markov's principle

Cites work

• Bounded functional interpretation
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• On uniform weak König's lemma
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(17)

• Intuitionistic nonstandard bounded modified realisability and functional interpretation
• Relative and modified relative realizability
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• A herbrandized functional interpretation of classical first-order logic
• A parametrised functional interpretation of Heyting arithmetic
• Proof interpretations with truth
• Confined modified realizability
• On bounded functional interpretations
• Boundedness theorems for flowers and sharps
• A partial analysis of modified realizability
• The Herbrand topos
• Erratum to ``Spacelike hypersurfaces of constant higher order mean curvature in generalized Robertson-Walker spacetimes.
• Hardwiring truth in functional interpretations
• Stateful Realizers for Nonstandard Analysis
• Herbrandized modified realizability
• The modified realizability topos
• A functional interpretation for nonstandard arithmetic

This page was built for publication: Bounded modified realizability

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