scientific article; zbMATH DE number 440486

MaRDI QIDQ3140643zbMATH OpenFDO

Authors Richard Sommer

Publication date 8 October 1996

zbMATH Keywords

ordinal arithmeticrecursive ordinalweak fragments of arithmeticproof-theoretic ordinals

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Ordinal inequalities, transfinite induction, and reverse mathematics
• scientific article; zbMATH DE number 432700
• A new system of proof-theoretic ordinal functions
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• scientific article; zbMATH DE number 1301495

Cited in

(6)

• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Reverse mathematics and well-ordering principles: a pilot study
• Iterated local reflection versus iterated consistency
• Ordinal arithmetic based on Skolem hulling
• scientific article; zbMATH DE number 3557777 (Why is no real title available?)
• Ordinal notations and well-orderings in bounded arithmetic

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