Reverse Mathematics and Ordinal Multiplication

DOI10.1002/MALQ.19980440404zbMath0922.03080OpenAlexW1988826466MaRDI 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 arithmeticreverse mathematicsdivision algorithmordinal multiplication

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Ordinal and cardinal numbers (03E10)

Related Items (4)

Δ₃^O-determinacy, comprehension and induction ⋮ Partial impredicativity in reverse mathematics ⋮ – CA₀ and order types of countable ordered groups ⋮ Unnamed Item

This page was built for publication: Reverse Mathematics and Ordinal Multiplication