Bounded modified realizability

DOI10.2178/jsl/1140641178zbMath1100.03050OpenAlexW2018940329MaRDI QIDQ5477639

No author found.

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

realizabilityweak König's lemmaMarkov's principleomniscienceconstructive content of arithmetical sentencesFAN theorem

Mathematics Subject Classification ID

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

Related Items (12)

A parametrised functional interpretation of Heyting arithmetic ⋮ A herbrandized functional interpretation of classical first-order logic ⋮ Hardwiring truth in functional interpretations ⋮ Stateful Realizers for Nonstandard Analysis ⋮ The FAN principle and weak König's lemma in Herbrandized second-order arithmetic ⋮ On bounded functional interpretations ⋮ Intuitionistic nonstandard bounded modified realisability and functional interpretation ⋮ A functional interpretation for nonstandard arithmetic ⋮ Proof interpretations with truth ⋮ The Herbrand topos ⋮ The Herbrand topos ⋮ Confined modified realizability

Cites Work

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

This page was built for publication: Bounded modified realizability