scientific article; zbMATH DE number 1289488

MaRDI QIDQ4243761zbMATH OpenFDO

Authors Wolfgang Burr

Publication date 24 May 1999

zbMATH Keywords

arithmetical hierarchycollection principleconstructive set theoryDialectica translationfunctional interpretationGödel's THeyting arithmetic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Functionals in proof theory (03F10)

Recommendations

• Functional analytic axioms and set theory
• Functional analysis and additive arithmetic functions
• scientific article; zbMATH DE number 176711
• FUNCTIONAL TRANSCENDENCE AND ARITHMETIC APPLICATIONS
• On the arity of functions
• Publication:3483348
• Publication:3027723
• scientific article; zbMATH DE number 4042571
• scientific article; zbMATH DE number 4101907
• Arithmetical set theory

Cited in

(17)

• On interpretations of bounded arithmetic and bounded set theory
• A revision-theoretic analysis of the arithmetical hierarchy
• Functional interpretation of Aczel's constructive set theory
• Constructive Ackermann's interpretation
• Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory
• Functions definable by numerical set-expressions
• scientific article; zbMATH DE number 5305562 (Why is no real title available?)
• scientific article; zbMATH DE number 4091499 (Why is no real title available?)
• scientific article; zbMATH DE number 47249 (Why is no real title available?)
• scientific article; zbMATH DE number 1285754 (Why is no real title available?)
• scientific article; zbMATH DE number 1303441 (Why is no real title available?)
• Fragments of Heyting arithmetic
• Sets and functions in theoretical physics
• scientific article; zbMATH DE number 6307929 (Why is no real title available?)
• scientific article; zbMATH DE number 7587811 (Why is no real title available?)
• Logical problems of functional interpretations
• Functional interpretations of feasibly constructive arithmetic

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