scientific article; zbMATH DE number 3825797

MaRDI QIDQ3671969zbMATH OpenFDO

Authors Georg Kreisel, Angus Macintyre

Publication date 1982

zbMATH Keywords

constructive logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Cited in

(7)

• Some logical metatheorems with applications in functional analysis
• An application of proof mining to nonlinear iterations
• Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
• Presenting intuitive deductions via symmetric simplification
• A continuous, constructive solution to Hilbert's \(17^{th}\) problem
• Computer Science for Continuous Data
• Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy

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