Publication:3671969
From MaRDI portal
zbMath0522.03046MaRDI QIDQ3671969
Angus J. Macintyre, Georg Kreisel
Publication date: 1982
03A05: Philosophical and critical aspects of logic and foundations
03F50: Metamathematics of constructive systems
Related Items
Some logical metatheorems with applications in functional analysis, Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra, Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy, A continuous, constructive solution to Hilbert's \(17^{th}\) problem, An application of proof mining to nonlinear iterations