scientific article; zbMATH DE number 5360217
From MaRDI portal
Publication:3532205
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
Cited in
(13)- Verificationism and Classical Realizability
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- A direct computational interpretation of second-order arithmetic via update recursion
- Classical realizability and arithmetical formulæ
- Dependent choice, `quote' and the clock
- On the Values of Reducibility Candidates
- Krivine's classical realisability from a categorical perspective
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction
- A parametrised functional interpretation of Heyting arithmetic
- A realizability interpretation of Church's simple theory of types
- A Survey of Classical Realizability
- Realizability of the axiom of choice in HOL. (An analysis of Krivine's work)
- Intuitionistic fixed point logic
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)
