Reverse mathematics of prime factorization of ordinals |
| |
| Authors: | Jeffry L. Hirst |
| |
| Affiliation: | (1) Department of Mathematical Sciences, Appalachian State University, Boone, NC 28608, USA. e-mail: jlh@math.appstate.edu , US |
| |
| Abstract: | ![]()
One of the earliest applications of Cantor's Normal Form Theorem is Jacobstahl's proof of the existence of prime factorizations of ordinals. Applying the techniques of reverse mathematics, we show that the full strength of the Normal Form Theorem is used in this proof. Received: 13 August 1997 / Revised version: 3 November 1997 |
| |
| Keywords: | Mathematics SubjectClassification (1991):03F35 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
