scientific article; zbMATH DE number 1471977

MaRDI QIDQ4489061zbMATH OpenFDO

Authors Yvon Gauthier

Publication date 22 March 2001

zbMATH Keywords

consistencyDialectica interpretationFermat arithmeticindeterminatesinfinite descentpolynomials

Mathematics Subject Classification ID

Functionals in proof theory (03F10) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 1215497
• Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory
• scientific article; zbMATH DE number 1786561
• Functional interpretations of feasibly constructive arithmetic
• scientific article; zbMATH DE number 1743775

Cited in

(4)

• scientific article; zbMATH DE number 3954904 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 1743775 (Why is no real title available?)
• scientific article; zbMATH DE number 1786561 (Why is no real title available?)

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 Q4489061)