scientific article; zbMATH DE number 1169383

MaRDI QIDQ4397035zbMATH OpenFDO

Authors Horst Luckhardt

Publication date 25 June 1998

zbMATH Keywords

bounds extracted from ineffective proofsproof theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35) Model theory (number-theoretic aspects) (11U09) Model theory of fields (12L12)

Recommendations

• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• The mathematical significance of proof theory
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
• Kreiseliana: about and around Georg Kreisel

Cited in

(5)

• Classical truth in higher types
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
• scientific article; zbMATH DE number 1082909 (Why is no real title available?)
• Some logical metatheorems with applications in functional analysis
• The mathematical significance of proof theory

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