scientific article; zbMATH DE number 5360217
From MaRDI portal
Publication:3532205
zbMATH Open1169.03046MaRDI QIDQ3532205FDOQ3532205
Authors: Paulo Oliva, Thomas Streicher
Publication date: 3 November 2008
Title of this publication is not available (Why is that?)
Recommendations
- Publication:4944901
- Second-order arithmetic and the consistency of first-order theories
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
- Krivine's classical realisability from a categorical perspective
- Classical realizability and arithmetical formulæ
- scientific article; zbMATH DE number 1841818
- Interpretations between \(\omega\)-logic and second-order arithmetic
- scientific article; zbMATH DE number 2183393
- Realizability interpretation of proofs in constructive analysis
- The limits of determinacy in second-order arithmetic
Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35)
Cited In (12)
- A realizability interpretation of Church's simple theory of types
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Realizability of the axiom of choice in HOL. (An analysis of Krivine's work)
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction
- Classical realizability and arithmetical formulæ
- A parametrised functional interpretation of Heyting arithmetic
- Verificationism and Classical Realizability
- On the Values of Reducibility Candidates
- A Survey of Classical Realizability
- Krivine's classical realisability from a categorical perspective
- Intuitionistic fixed point logic
- Dependent choice, `quote' and the clock
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3532205)