scientific article; zbMATH DE number 1420833
From MaRDI portal
zbMATH Open0946.03071MaRDI QIDQ4944901FDOQ4944901
Authors: Jeremy Avigad 
Publication date: 22 October 2000
Title of this publication is not available (Why is that?)
Recommendations
- A realizability interpretation for classical analysis
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction
- Minimal readability of intuitionistic arithmetic and elementary analysis
- scientific article; zbMATH DE number 512771
- A translation characterizing the constructive content of classical theories
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Functionals in proof theory (03F10)
Cited In (13)
- Title not available (Why is that?)
- The Peirce translation
- Using theory interpretation to mechanise the reals in a theorem prover
- A realizability interpretation for classical analysis
- On arithmetically realizable classes
- Interactive realizability and the elimination of Skolem functions in Peano arithmetic
- Realizability for Peano arithmetic with winning conditions in HON games
- Realizability for Peano arithmetic with winning conditions in HON games
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
- Minimal readability of intuitionistic arithmetic and elementary analysis
- Title not available (Why is that?)
- A Survey of Classical Realizability
- Information-Extraction Through Reduction Methods In Some Formal Systems
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 Q4944901)
