DOI10.1002/malq.19980440404zbMath0922.03080MaRDI QIDQ4224079
Jeffry L. Hirst
Publication date: 6 January 1999 Published in: Mathematical Logic Quarterly (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.19980440404
zbMATH Keywords
ordinal arithmetic; reverse mathematics; division algorithm; ordinal multiplication
Mathematics Subject Classification ID
03F35: Second- and higher-order arithmetic and fragments
03E10: Ordinal and cardinal numbers