scientific article; zbMATH DE number 1241698

zbMath0916.03035MaRDI QIDQ4225148

Thierry Coquand

Publication date: 18 January 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Heyting arithmeticPeano arithmeticintuitionistic logicaxiom of choiceformal topologynegative translationBoolean modelstopological modelHilbert's programgame-theoretic interpretationeffective content of a proofGentzen-Novikov's sequent calculusmeaning of a non-effective proof of an existential statementproof theory of classical logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Negative translations not intuitionistically equivalent to the usual ones ⋮ Uniform Heyting arithmetic

This page was built for publication: