scientific article; zbMATH DE number 440486

zbMATH Open0847.03026MaRDI QIDQ3140643FDOQ3140643

Richard Sommer

Publication date: 8 October 1996

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• 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)