scientific article; zbMATH DE number 440472

MaRDI QIDQ3140629zbMATH OpenFDO

Authors

Publication date 13 June 1995

zbMATH Keywords

bibliographybounded arithmeticcomplexity of proofsfragments of Peano arithmetic

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30)

Cited in

(14)

• Open problems left in my wake of research
• Generalizing theorems in real closed fields
• End extensions of models of fragments of \(\mathrm{PA}\)
• Algebraic combinatorics in bounded induction
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• scientific article; zbMATH DE number 1705486 (Why is no real title available?)
• scientific article; zbMATH DE number 5825879 (Why is no real title available?)
• scientific article; zbMATH DE number 5190476 (Why is no real title available?)
• scientific article; zbMATH DE number 5657432 (Why is no real title available?)
• scientific article; zbMATH DE number 92377 (Why is no real title available?)
• Open problems
• Open problems
• A simplified proof of the epsilon theorems

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