scientific article; zbMATH DE number 517058

MaRDI QIDQ4282586zbMATH OpenFDO

Authors Solomon Feferman

Publication date 19 September 1994

zbMATH Keywords

Gödel's Dialectica interpretationhistory of logicintuitionistic logicreductive proof theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 1215497
• Does reductive proof theory have a viable rationale?
• Gödel and intuitionism
• scientific article; zbMATH DE number 437510
• Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory

Cited in

(11)

• Markov's constructive analysis; a participant's view
• Second thoughts around some of Gödel's writings: A non-academic option
• Human rationality challenges universal logic
• Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
• Carnap's dream: Gödel, Wittgenstein, and \textit{Logical Syntax}
• scientific article; zbMATH DE number 437510 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 6139995 (Why is no real title available?)
• scientific article; zbMATH DE number 7340563 (Why is no real title available?)
• Gödel and intuitionism
• Logical problems of functional interpretations

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