Reverse mathematics of prime factorization of ordinals

DOI10.1007/S001530050123zbMath0921.03054OpenAlexW2085006140MaRDI QIDQ1127837

Jeffry L. Hirst

Publication date: 10 August 1998

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050123

zbMATH Keywords

reverse mathematicssecond-order arithmeticCantor's normal form theoremprime factorizations of well orderings

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Reverse mathematics of prime factorization of ordinals