scientific article

From MaRDI portal

Publication:3140643

Jump to:navigation, search

zbMath0847.03026MaRDI QIDQ3140643

Richard Sommer

Publication date: 8 October 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ordinal arithmetic recursive ordinal weak fragments of arithmetic proof-theoretic ordinals

Mathematics Subject Classification ID

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

Related Items (4)

Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Iterated local reflection versus iterated consistency ⋮ Reverse mathematics and well-ordering principles: a pilot study ⋮ Ordinal notations and well-orderings in bounded arithmetic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3140643&oldid=16437555"