scientific article; zbMATH DE number 3786775

MaRDI QIDQ3964564zbMATH OpenFDO

Authors Georg Kreisel

Publication date 1982

zbMATH Keywords

proof theoryHerbrand disjunctions

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited in

(5)

• A mathematical commitment without computational strength
• The computational content of arithmetical proofs
• Extracting Herbrand disjunctions by functional interpretation
• Towards a proof theory for quantifier macros
• A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction

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